On the Restraining Power of Guards (Q4948538): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586808
@@ Property / full work available at URL: https://doi.org/10.2307/2586808 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1483892218
@@ Property / OpenAlex ID: W1483892218 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending partial isomorphisms of graphs
@@ Property / cites work: Extending partial isomorphisms of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
@@ Property / cites work: ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE / rank @@
+Normal rank
@@ Property / cites work @@
+Extending partial isomorphisms on finite structures
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996675
@@ Property / cites work: Q3996675 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Finite algebras of relations are representable on finite sets
+Normal rank
@@ Property / cites work @@
+Remarks on Berger's paper on the domino problem
@@ Property / cites work: Remarks on Berger's paper on the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+On Preservation Theorems for Two-Variable Logic
@@ Property / cites work: On Preservation Theorems for Two-Variable Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability results on two-variable logics
@@ Property / cites work: Undecidability results on two-variable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On logics with two variables
@@ Property / cites work: On logics with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Dominoes and the complexity of subclasses of logical theories
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / 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 @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank