Undecidability of representability as binary relations (Q4899169): Difference between revisions

@@ Property / author @@
-Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
-Normal rank
@@ Property / author @@
+Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2167982168
@@ Property / OpenAlex ID: W2167982168 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark of representable positive cylindric algebras
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+ALGORITHMIC PROBLEMS IN VARIETIES
@@ Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of union-free algebras of relations
+Normal rank
@@ Property / cites work @@
+Representations of distributive lattice-ordered semigroups with binary relations
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for completely 0-simple semigroups.
+Normal rank
@@ Property / cites work @@
+MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
+Normal rank
@@ Property / cites work @@
+Atom structures and Sahlqvist equations
@@ Property / cites work: Atom structures and Sahlqvist equations / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Maps with Domain and Range: Extending Schein's Representation
+Normal rank
@@ Property / cites work @@
+An invitation to \(C\)-semigroups
@@ Property / cites work: An invitation to \(C\)-semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical varieties with no canonical axiomatisation
+Normal rank
@@ Property / cites work @@
+Representable semilattice-ordered monoids
@@ Property / cites work: Representable semilattice-ordered monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Difference semigroups
@@ Property / cites work: Difference semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Representability is not decidable for finite relation algebras
+Normal rank
@@ Property / cites work @@
+The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
+Normal rank
@@ Property / cites work @@
+Relation algebras and function semigroups
@@ Property / cites work: Relation algebras and function semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic problems for finite groups and finite \(0\)-simple semigroups
+Normal rank
@@ Property / cites work @@
+FAITHFUL FUNCTORS FROM CANCELLATIVE CATEGORIES TO CANCELLATIVE MONOIDS WITH AN APPLICATION TO ABUNDANT SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+PDL with intersection and converse: satisfiability and infinite-state model checking
+Normal rank
@@ Property / cites work @@
+On representable relation algebras
@@ Property / cites work: On representable relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Free right type A semigroups
@@ Property / cites work: Free right type A semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of modal operators and partial correctness
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4899169