On direct products of automaton decidable theories
- 30 September 1982
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 19 (3) , 331-335
- https://doi.org/10.1016/0304-3975(82)90042-1
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Theory of ω-languages. II: A study of various models of ω-type generation and recognitionJournal of Computer and System Sciences, 1977
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959
- On direct products of theoriesThe Journal of Symbolic Logic, 1952
- Algebraische Theorie der Körper.Journal für die reine und angewandte Mathematik (Crelles Journal), 1910