Simplifying Alternating Automata for Emptiness Testing

From MaRDI portal

Publication:6488157

Jump to:navigation, search

DOI10.1007/978-3-030-89051-3_14zbMath1520.68067MaRDI QIDQ6488157

Unnamed Author, Lukáš Holík

Publication date: 29 March 2023

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Simplifying Alternating Automata for Emptiness Testing

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6488157&oldid=37939896"