On direct products of automaton decidable theories (Q1168306): 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(82)90042-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1998523218
@@ Property / OpenAlex ID: W1998523218 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. II: A study of various models of \(\omega\)- type generation and recognition
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+On direct products of theories
@@ Property / cites work: On direct products of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5677651
@@ Property / cites work: Q5677651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893341
@@ Property / cites work: Q3893341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1168306