Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117zbMATH Open1088.03022OpenAlexW2476951070MaRDI QIDQ5712434

Alberto Policriti, Ewa S. Orłowska, Eugenio Giovanni Omodeo

Publication date: 23 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98117

zbMATH Keywords

modal logicrelational systemstranslation methods

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Axiomatics of classical set theory and its fragments (03E30) Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: Relational and Kleene-Algebraic Methods in Computer Science