Simplifying Alternating Automata for Emptiness Testing

From MaRDI portal

Revision as of 14:30, 28 November 2024 by Import241128011130 (talk | contribs) (Created automatically from import241128011130)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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"