Publication:3995303
From MaRDI portal
zbMath0725.68006MaRDI QIDQ3995303
Publication date: 23 January 1993
68Q45: Formal languages and automata
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68Q70: Algebraic theory of languages and automata
68Q99: Theory of computing
Related Items
Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra, Infinite games on finitely coloured graphs with applications to automata on infinite trees, Infinite games played on finite graphs, On the structure of varieties with equationally definable principal congruences. III, McNaughton games and extracting strategies for concurrent programs, An extension of Büchi’s problem for polynomial rings in zero characteristic, A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time