scientific article; zbMATH DE number 7559451

DOI10.4230/LIPICS.MFCS.2020.80MaRDI QIDQ5089255FDO

Authors Alexander Rabinovich, Doron Tiferet

Publication date 18 July 2022

zbMATH Keywords

monadic second-order logicautomata on infinite treesambiguous automata

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 6680130 (Why is no real title available?)
• scientific article; zbMATH DE number 176157 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• Choice functions and well-orderings over the infinite binary tree
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Expressing cardinality quantifiers in monadic second-order logic over trees
• MSO on the Infinite Binary Tree: Choice and Order
• Rabin's uniformization problem
• Rational \(\omega\)-languages are non-ambiguous

Cited in

(2)

• On degrees of ambiguity for Büchi tree automata
• scientific article; zbMATH DE number 929652 (Why is no real title available?)

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 Q5089255)