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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01698129
+Normal rank
@@ Property / OpenAlex ID @@
+W2052273902
@@ Property / OpenAlex ID: W2052273902 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4077997