Observations on determinization of Büchi automata
type: Item
instance of: scholarly article
title: Observations on determinization of Büchi automata
zbMATH Open document ID: 1153.68399
author: Christoph Schulte Althoff
author: Wolfgang Thomas
author: Nico Wallmeier
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 5083511
zbMATH Keywords: determinization
zbMATH Keywords: Rabin
zbMATH Keywords: Muller-Schupp
describes a project that uses: LASH
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.026
OpenAlex ID: W2161218627
cites work: An effective decision procedure for linear arithmetic over the integers and reals
cites work: Q4535058
cites work: Implementation and Application of Automata
cites work: Q4501665
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Alternating finite automata on \(\omega\)-words
cites work: Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
cites work: Q5317419
cites work: Q4385530
DOI: 10.1016/J.TCS.2006.07.026
description: scientific article; zbMATH DE number 5083511