scientific article; zbMATH DE number 638616
From MaRDI portal
Publication:4305489
Recommendations
Cited in
(20)- On varieties of cylindric algebras with applications to logic
- Some decisional problems on rational relations
- Decidability of equational theories for subsignatures of relation algebra
- Decision problems for subclasses of rational relations over finite and infinite words
- Comparing decision problems for various paradigms of algebraic logic.
- Positive indistinguishability of algebraic systems, and completeness of positive theories
- Decidable and undecidable logics with a binary modality
- Relation algebras can tile
- A decidable equational theory with undecidable membership problem for finite algebras
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- scientific article; zbMATH DE number 4008363 (Why is no real title available?)
- Undecidable relativizations of algebras of relations
- Undecidable semiassociative relation algebras
- Decision problems for equational theories of relation algebras
- scientific article; zbMATH DE number 1990014 (Why is no real title available?)
- Deciding properties of integral relational automata
- scientific article; zbMATH DE number 887303 (Why is no real title available?)
- Complexity of equational theory of relational algebras with standard projection elements
- scientific article; zbMATH DE number 2209441 (Why is no real title available?)
- Equational properties of Kleene algebras of relations with conversion
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4305489)
