Tightening the Exchange Rates Between Automata

DOI10.1007/978-3-540-74915-8_5zbMATH Open1179.68072OpenAlexW1599755483MaRDI QIDQ3608401

Orna Kupferman

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

The Quest for a Tight Translation of Büchi to co-Büchi Automata

This page was built for publication: Tightening the Exchange Rates Between Automata