Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/B98117zbMath1088.03056OpenAlexW2476951070MaRDI QIDQ5712437

Ullrich Hustadt, Renate A. Schmidt, Ewa S. Orłowska

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

Other algebras related to logic (03G25)

Related Items (2)

First-Order Resolution Methods for Modal Logics ⋮ Tableaux and dual tableaux: transformation of proofs

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