Fingerprint
Dive into the research topics of 'Complementation constructions for nondeterministic automata on infinite words'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Complementation constructions for nondeterministic automata on infinite words
Orna Kupferman*, Moshe Y. Vardi
*Corresponding author for this work
Research output: Contribution to journal › Conference article › peer-review
26
Scopus
citations