Relation Algebra and Modal Logics

Holger Schlingloff, Wolfgang Heinle. Relation Algebra and Modal Logics. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 70-89, Springer, 1997. [doi]

Authors

Holger Schlingloff

This author has not been identified. Look up 'Holger Schlingloff' in Google

Wolfgang Heinle

This author has not been identified. Look up 'Wolfgang Heinle' in Google