scientific article; zbMATH DE number 176157

MaRDI QIDQ4035259zbMATH OpenFDO

Authors Damian Niwiński

Publication date 18 May 1993

zbMATH Keywords

Rabin automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Rabin tree automata and finite monoids
• Automata on infinite trees with counting constraints
• THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON
• scientific article; zbMATH DE number 4213466
• Counting branches in trees using games

Cited in

(9)

• scientific article; zbMATH DE number 3990873 (Why is no real title available?)
• scientific article; zbMATH DE number 7559451 (Why is no real title available?)
• Cardinality Quantifiers in MLO over Trees
• scientific article; zbMATH DE number 4213466 (Why is no real title available?)
• THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON
• The uniform measure of simple regular sets of infinite trees
• Some problems in automata theory which depend on the models of set theory
• scientific article; zbMATH DE number 7407790 (Why is no real title available?)
• Rabin tree automata and finite monoids

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035259)