On causal \(\omega^2\)-systems
From MaRDI portal
Publication:1216388
DOI10.1016/S0022-0000(75)80044-4zbMath0302.94021MaRDI QIDQ1216388
Publication date: 1975
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
93A10: General systems
03B25: Decidability of theories and sets of sentences