Analysing Complexity in Classes of Unary Automatic Structures (Q3618610): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1499975475
@@ Property / OpenAlex ID: W1499975475 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Structures: Richness and Limitations
@@ Property / cites work: Automatic Structures: Richness and Limitations / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5476782
@@ Property / cites work: Q5476782 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theoretic Complexity of Automatic Structures (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+Q4681320
@@ Property / cites work: Q4681320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Lectures on Automatic Structures
@@ Property / cites work: Three Lectures on Automatic Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Presenting Structures: A Survey of the Finite String Case
+Normal rank
@@ Property / cites work @@
+On direct products of automaton decidable theories
+Normal rank
@@ Property / cites work @@
+Q4531374
@@ Property / cites work: Q4531374 / rank @@
+Normal rank
@@ Property / cites work @@
+Unary Automatic Graphs: An Algorithmic Perspective
+Normal rank