Dynamic algebras with test
From MaRDI portal
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)