Dynamic algebras with test

DOI10.1016/0022-0000(87)90014-6MaRDI QIDQ1095141zbMATH OpenOpenAlexFDO

Authors Věra Trnková, Jan Reiterman

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

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

Recommendations

• scientific article; zbMATH DE number 3878348
• On dynamic algebras
• scientific article; zbMATH DE number 3848599
• Dynamic algebras: Examples, constructions, applications
• scientific article; zbMATH DE number 3968829
• scientific article; zbMATH DE number 437419
• scientific article; zbMATH DE number 3986619
• Monadic dynamic algebras
• scientific article; zbMATH DE number 1223627

Cites work

• scientific article; zbMATH DE number 3878348 (Why is no real title available?)
• scientific article; zbMATH DE number 3827868 (Why is no real title available?)
• scientific article; zbMATH DE number 3949705 (Why is no real title available?)
• scientific article; zbMATH DE number 3732049 (Why is no real title available?)
• scientific article; zbMATH DE number 3756452 (Why is no real title available?)
• scientific article; zbMATH DE number 3779293 (Why is no real title available?)
• scientific article; zbMATH DE number 3806911 (Why is no real title available?)
• Cylindric algebras. Part II
• Dynamic algebras which are not Kripke structures
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable

Cited in

(9)

• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Some results in dynamic model theory
• Concurrent dynamic algebra
• Algebraization of quantifier logics, an introductory overview
• Dynamic algebras: Examples, constructions, applications
• On the complexity of Kleene algebra with domain
• scientific article; zbMATH DE number 3848599 (Why is no real title available?)
• scientific article; zbMATH DE number 436445 (Why is no real title available?)
• scientific article; zbMATH DE number 3878348 (Why is no real title available?)

This page was built for publication: Dynamic algebras with test

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095141)