Locally finite languages (Q5941071): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4874652
@@ Property / cites work: Q4874652 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192991
@@ Property / cites work: Q4192991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q3472087
@@ Property / cites work: Q3472087 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological complexity of locally finite \(\omega\)-languages
+Normal rank
@@ Property / cites work @@
+Stretchings
@@ Property / cites work: Stretchings / rank @@
+Normal rank
@@ Property / cites work @@
+Automates a file
@@ Property / cites work: Automates a file / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy between context-free and context-sensitive languages
+Normal rank
@@ Property / cites work @@
+Q4474840
@@ Property / cites work: Q4474840 / rank @@
+Normal rank
@@ Property / cites work @@
+Intercalation theorems for stack languages
@@ Property / cites work: Intercalation theorems for stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346248
@@ Property / cites work: Q3346248 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach of Petri net languages
@@ Property / cites work: A logical approach of Petri net languages / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+Formal languages defined by the underlying structure of their words
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340125
@@ Property / cites work: Q5340125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938520
@@ Property / cites work: Q3938520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(99)00286-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2083828428
@@ Property / OpenAlex ID: W2083828428 / rank @@
+Normal rank