The following pages link to (Q4411834):
Displaying 11 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Individual concepts as propositional variables in \(ML^{\nu +1}\) (Q760420) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- Entanglement and the complexity of directed graphs (Q1929212) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- (Q3002404) (← links)
- (Q4381381) (← links)
- On the expressivity of the modal mu-calculus (Q4593954) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- Undirected Graphs of Entanglement 2 (Q5458861) (← links)