The two‐variable fragment with counting and equivalence (Q3460527): Difference between revisions

@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Small solutions of linear diophantine equations
@@ Property / cites work: Small solutions of linear diophantine equations / rank @@
+Normal rank
@@ Property / cites work @@
+Carathéodory bounds for integer cones
@@ Property / cites work: Carathéodory bounds for integer cones / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Undecidability of some simple formalized theories
@@ Property / cites work: Undecidability of some simple formalized theories / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank