On direct products of automaton decidable theories (Q1168306): Difference between revisions

@@ 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