External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Relational Correspondences for Lattices with Operators

Jouni Järvinen, Ewa Orlowska. Relational Correspondences for Lattices with Operators. In Wendy MacCaull, Michael Winter, Ivo Düntsch, editors, 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,. Volume 3929 of Lecture Notes in Computer Science, pages 134-146, Springer, 2005. [doi]

Abstract

Abstract is missing.

runs on