• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Relational Correspondences for Lattices with Operators

Jouni Järvinen, Ewa Orlowska, Relational Correspondences for Lattices with Operators. In: Michael Winter Wendy MacCaull, Ivo Düntsch (Eds.), Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers, Lecture Notes in Computer Science 3929, 134–146, 2006.

BibTeX entry:

@INPROCEEDINGS{inpJaOr06a,
  title = {Relational Correspondences for Lattices with Operators},
  booktitle = {Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers},
  author = {Järvinen, Jouni and Orlowska, Ewa},
  volume = {3929},
  series = {Lecture Notes in Computer Science},
  editor = {Wendy MacCaull, Michael Winter and Ivo Düntsch},
  pages = {134–146},
  year = {2006},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Publication Forum rating of this publication: level 1

Edit publication