Description of restricted automata by first-order formulae (Q4077997): Difference between revisions

@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of $AEA$ formulas by letter atoms
@@ Property / cites work: Classification of $AEA$ formulas by letter atoms / rank @@
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Program schemata and the first-order decision problem
+Normal rank
@@ Property / cites work @@
+Properties of Programs and the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank