Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117zbMATH Open1088.68567OpenAlexW2476951070MaRDI QIDQ5712429

Petr Hájek

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

Mathematics Subject Classification ID

Database theory (68P15) Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Logical aspects of Boolean algebras (03G05)

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