Contact relations with applications

DOI10.1007/978-3-642-04639-1_21MaRDI QIDQ3651524zbMATH OpenOpenAlexFDO

Authors Gunther Schmidt, Rudolf Berghammer

Publication date 11 December 2009

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04639-1_21

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Contact, closure, topology, and the linking of row and column types of relations
• Remarks on contact relations on Boolean algebras
• Contact relation on De Morgan algebra
• scientific article; zbMATH DE number 1735905
• The Lattice of Contact Relations on a Boolean Algebra

Cited in

(6)

• A proof system for contact relation algebras
• The lattice structure of \(\mathbf{L}\)-contact relations
• A relation-algebraic approach to multirelations and predicate transformers
• Contact relation on De Morgan algebra
• scientific article; zbMATH DE number 1735905 (Why is no real title available?)
• Relational Methods in Computer Science

Describes a project that uses

Uses Software

• RelView

This page was built for publication: Contact relations with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3651524)