Decidability of a portion of the predicate calculus (Q1242887): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for standard classes
@@ Property / cites work: The decision problem for standard classes / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1242887