Pages that link to "Item:Q4943547"

The following pages link to Fixpoint alternation: arithmetic, transition systems, and the binary tree (Q4943547):

Displayed 7 items.

• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) ‎ (← links)
• On temporal logic versus Datalog (Q1401358) ‎ (← links)
• On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) ‎ (← links)
• The alternation hierarchy in fixpoint logic with chop is strict too (Q2509356) ‎ (← links)
• Inf-datalog, Modal Logic and Complexities (Q3549285) ‎ (← links)
• Deciding low levels of tree-automata hierarchy (Q4916202) ‎ (← links)
• The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees (Q4943546) ‎ (← links)