Undecidability results on two-variable logics (Q5048929): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0023464
+Normal rank
@@ Property / OpenAlex ID @@
+W1607294421
@@ Property / OpenAlex ID: W1607294421 / rank @@
+Normal rank
@@ Property / cites work @@
+Dominoes and the complexity of subclasses of logical theories
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4283240
@@ Property / cites work: Q4283240 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurring Dominoes: Making the Highly Undecidable Highly Understandable
+Normal rank
@@ Property / cites work @@
+The Härtig quantifier: a survey
@@ Property / cites work: The Härtig quantifier: a survey / 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 @@
+Q4332930
@@ Property / cites work: Q4332930 / rank @@
+Normal rank