Pages that link to "Item:Q2373700"

The following pages link to On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700):

Displayed 10 items.

• Choice functions and well-orderings over the infinite binary tree (Q607442) ‎ (← links)
• Selection over classes of ordinals expanded by monadic predicates (Q636340) ‎ (← links)
• The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) ‎ (← links)
• Regular sets over extended tree structures (Q764339) ‎ (← links)
• On Boolean closed full trios and rational Kripke frames (Q2363961) ‎ (← links)
• A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) ‎ (← links)
• Decidable Extensions of Church’s Problem (Q3644764) ‎ (← links)
• (Q4585066) ‎ (← links)
• (Q5377469) ‎ (← links)
• Decidable Expansions of Labelled Linear Orderings (Q5892516) ‎ (← links)