Two-Variable Logic with Counting and Trees (Q5278191): Difference between revisions

@@ Property / cites work @@
+Complexity of Two-Variable Logic on Finite Trees
@@ Property / cites work: Complexity of Two-Variable Logic on Finite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of the Bernays-Schönfinkel Class with Datalog
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic with Counting and Trees
@@ Property / cites work: Two-Variable Logic with Counting and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable Logic with Counting and a Linear Order
+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 @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
+Normal rank
@@ Property / cites work @@
+Two-Variable Universal Logic with Transitive Closure
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Two Variables and Two Successors
@@ Property / cites work: Two Variables and Two Successors / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Problems in Vector Addition Systems
@@ Property / cites work: Reachability Problems in Vector Addition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Two variable first-order logic over ordered domains
+Normal rank
@@ Property / cites work @@
+Complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+The Two-Variable Fragment with Counting Revisited
@@ Property / cites work: The Two-Variable Fragment with Counting Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The two‐variable fragment with counting and equivalence
+Normal rank
@@ Property / cites work @@
+Two-Variable Logic with Two Order Relations
@@ Property / cites work: Two-Variable Logic with Two Order Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957894
@@ Property / cites work: Q2957894 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank