Relational correspondences for lattices with operators



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

: Wendy MacCaullMichael WinterIvo Düntsch

: 2006

: Lecture Notes in Computer Science

: RelMiCS: International Conference on Relational Methods in Computer Science

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

: 3929

: 134

: 146

: 9783540333395

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

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


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