scientific article; zbMATH DE number 599132
From MaRDI portal
Publication:4297397
zbMath0917.20053MaRDI QIDQ4297397
Hugues Calbrix, Andreas Podelski, Maurice Nivat
Publication date: 22 September 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Learning regular omega languages ⋮ Unnamed Item ⋮ Representing regular languages of infinite words using mod 2 multiplicity automata ⋮ Approximate Verification of the Symbolic Dynamics of Markov Chains ⋮ A theory of ultimately periodic languages and automata with an application to time granularity ⋮ Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata
This page was built for publication:
