scientific article; zbMATH DE number 7559451

DOI10.4230/LIPICS.MFCS.2020.80MaRDI QIDQ5089255

Alexander Rabinovich, Doron Tiferet

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logicautomata on infinite treesambiguous automata

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

On degrees of ambiguity for Büchi tree automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Choice functions and well-orderings over the infinite binary tree
• Rational \(\omega\)-languages are non-ambiguous
• Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
• Rabin's uniformization problem
• MSO on the Infinite Binary Tree: Choice and Order
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: