Dynamic algebras with test

DOI10.1016/0022-0000(87)90014-6zbMath0632.03051OpenAlexW2032659576MaRDI QIDQ1095141

Jan Reiterman, Věra Trnková

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90014-6

zbMATH Keywords

equational classKripke test structureregular dynamic algebrastest algebras

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25)

Related Items (6)

Concurrent Dynamic Algebra ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ On the complexity of Kleene algebra with domain ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Unnamed Item

Cites Work

• Cylindric algebras. Part II
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Dynamic algebras which are not Kripke structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic algebras with test