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.

Monotone Predicate Transformers as Up-Closed Multirelations

Ingrid Rewitzky, Chris Brink. Monotone Predicate Transformers as Up-Closed Multirelations. In Renate A. Schmidt, editor, Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proce. Volume 4136 of Lecture Notes in Computer Science, pages 311-327, Springer, 2006. [doi]

Authors

Ingrid Rewitzky

This author has not been identified. Look up 'Ingrid Rewitzky' in Google

Chris Brink

This author has not been identified. Look up 'Chris Brink' in Google
runs on