Expressive power and succinctness of the positive calculus of binary relations (Q2141281): Difference between revisions

@@ Property / cites work @@
+Expressive Power and Succinctness of the Positive Calculus of Relations
+Normal rank
@@ Property / cites work @@
+Introduction to Relation Algebras
@@ Property / cites work: Introduction to Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of relations as a foundation for mathematics
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of FO3 and the calculus of relations with just one binary relation
+Normal rank
@@ Property / cites work @@
+The equational theory of union-free algebras of relations
+Normal rank
@@ Property / cites work @@
+Q3304097
@@ Property / cites work: Q3304097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144679
@@ Property / cites work: Q5144679 / rank @@
+Normal rank
@@ Property / cites work @@
+An             <i>n</i>             ! lower bound on formula size
@@ Property / cites work: An <i>n</i> ! lower bound on formula size / rank @@
+Normal rank
@@ Property / cites work @@
+The succinctness of first-order logic on linear orders
+Normal rank
@@ Property / cites work @@
+On the succinctness of some modal logics
@@ Property / cites work: On the succinctness of some modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Formula size games for modal logic and μ-calculus
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Automata, Digraph Connectivity, and Regular Expression Size
+Normal rank
@@ Property / cites work @@
+Q5313790
@@ Property / cites work: Q5313790 / rank @@
+Normal rank
@@ Property / cites work @@
+An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Allegories
@@ Property / cites work: Allegories / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of existential positive queries
@@ Property / cites work: On the complexity of existential positive queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank