A4 Refereed article in a conference publication

Relational correspondences for lattices with operators



Authors: Järvinen J., Orłowska E.

Editors: Wendy MacCaullMichael WinterIvo Düntsch

Publication year: 2006

Journal: Lecture Notes in Computer Science

Book title : RelMiCS: International Conference on Relational Methods in Computer Science

Journal name in source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volume: 3929

First page : 134

Last page: 146

ISBN: 9783540333395

DOI: https://doi.org/10.1007/11734673_11

Web address : https://api.elsevier.com/content/abstract/scopus_id/33745771967


Abstract

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



Last updated on 2024-26-11 at 12:24