scientific article; zbMATH DE number 176157

zbMATH Open0776.68086MaRDI QIDQ4035259FDOQ4035259

Authors: Damian Niwiński 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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
• Counting branches in trees using games

zbMATH Keywords

Rabin automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (9)

• Cardinality Quantifiers in MLO over Trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• The uniform measure of simple regular sets of infinite trees
• THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON
• Title not available (Why is that?)
• Rabin tree automata and finite monoids
• Some problems in automata theory which depend on the models of set theory
• Title not available (Why is that?)

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)