Pages that link to "Item:Q2429724"
From MaRDI portal
The following pages link to Fixpoint logics over hierarchical structures (Q2429724):
Displaying 8 items.
- Model-checking hierarchical structures (Q414908) (← links)
- Improved model checking of hierarchical systems (Q418123) (← links)
- Space-efficient fragments of higher-order fixpoint logic (Q1685775) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- Hierarchies in Inclusion Logic with Lax Semantics (Q2937394) (← links)
- Hierarchies in Dependence Logic (Q2946680) (← links)
- (Q4230339) (← links)
- (Q4360709) (← links)