On distinguishing sets of structures by first-order sentences of minimal quantifier rank (Q2333677): Difference between revisions

@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatization for Blocks World
@@ Property / cites work: A Complete Axiomatization for Blocks World / rank @@
+Normal rank
@@ Property / cites work @@
+Logical and Relational Learning
@@ Property / cites work: Logical and Relational Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894127
@@ Property / cites work: Q4894127 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4645660
@@ Property / cites work: Q4645660 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144626
@@ Property / cites work: Q5144626 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of blocks-world planning
@@ Property / cites work: On the complexity of blocks-world planning / rank @@
+Normal rank
@@ Property / cites work @@
+Exact DFA Identification Using SAT Solvers
@@ Property / cites work: Exact DFA Identification Using SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with Reduction Finding
@@ Property / cites work: Experiments with Reduction Finding / rank @@
+Normal rank
@@ Property / cites work @@
+On complexity of Ehrenfeucht-Fraïssé games
@@ Property / cites work: On complexity of Ehrenfeucht-Fraïssé games / rank @@
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Games on Strings with a Limited Order Relation
@@ Property / cites work: Games on Strings with a Limited Order Relation / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures
+Normal rank
@@ Property / cites work @@
+Inductive logic programming
@@ Property / cites work: Inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263796
@@ Property / cites work: Q4263796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384892
@@ Property / cites work: Q3384892 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach
+Normal rank