Relational and Kleene-Algebraic Methods in Computer Science

DOI10.1007/b98117zbMath1088.68038OpenAlexW2476951070MaRDI QIDQ5712446

Thorsten Ehm

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

embeddingKleene algebrapointer structurespointer algebra

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Other algebras related to logic (03G25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Extended feature algebra, Transitive Separation Logic, Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras, Algebraic separation logic, Extended transitive separation logic