scientific article; zbMATH DE number 599132
From MaRDI portal
Publication:4297397
zbMATH Open0917.20053MaRDI QIDQ4297397FDOQ4297397
Hugues Calbrix, Andreas Podelski, M. Nivat
Publication date: 22 September 1994
Title of this publication is not available (Why is that?)
Recommendations
Cited In (11)
- Representing regular languages of infinite words using mod 2 multiplicity automata
- Title not available (Why is that?)
- Approximate Verification of the Symbolic Dynamics of Markov Chains
- Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata
- Ultimately periodic words of rational ω-languages
- A theory of ultimately periodic languages and automata with an application to time granularity
- Learning regular omega languages
- Reduced Languages as ω-Generators
- Title not available (Why is that?)
- Quasi-periodic \(\beta\)-expansions and cut languages
- Antichains algorithms for the inclusion problem between \(\omega\)-VPL
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4297397)