No label defined (Q5092321)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7561613

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7561613

Statements

scholarly article

0 references

Christof Löding

0 references

0 references

publication date

21 July 2022

0 references

full work available at URL

https://arxiv.org/abs/1902.02139

0 references

zbMATH Keywords

Büchi automata

0 references

determinization

0 references

parity automata

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Complementation, Disambiguation, and Determinization of Büchi Automata Unified

0 references

Testing and generating infinite sequences by a finite automaton

0 references

Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra

0 references

An Improved Construction of Deterministic Omega-automaton Using Derivatives

0 references

Tighter Bounds for the Determinisation of Büchi Automata

0 references

0 references

Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday

0 references

Identifiers

10.4230/LIPIcs.ICALP.2019.120

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5092321

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5092321&oldid=36833096"