The following pages link to (Q4764625):
Displaying 4 items.
- Model-checking hierarchical structures (Q414908) (← links)
- Hierarchically specified unit disk graphs (Q1269904) (← links)
- Fixpoint logics over hierarchical structures (Q2429724) (← links)
- Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) (Q2817638) (← links)