Finite automata and ordinals (Q1351785): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00006-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1983547737
@@ Property / OpenAlex ID: W1983547737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision methods in the theory of ordinals
@@ Property / cites work: Decision methods in the theory of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792929
@@ Property / cites work: Q5792929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340125
@@ Property / cites work: Q5340125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216154
@@ Property / cites work: Q3216154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691083
@@ Property / cites work: Q3691083 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1351785