Pages that link to "Item:Q1960425"
From MaRDI portal
The following pages link to Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425):
Displayed 8 items.
- Model-checking process equivalences (Q477208) (← links)
- Generalising automaticity to modal properties of finite structures (Q2373714) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- Fixed-Point Definability and Polynomial Time (Q3644737) (← links)
- The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic (Q4989164) (← links)
- (Q5014446) (← links)
- (Q6191003) (← links)