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)
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) General systems (93A10) Decidability of theories and sets of sentences (03B25)
Related Items (3)
Undecidability of the first-order arithmetic \(A[P(x),2x,x+1\)] ⋮ Some properties of two-dimensional on-line tessellation acceptors ⋮ Pictures of functions and their acceptability by automata
Cites Work
This page was built for publication: On causal \(\omega^2\)-systems
