The following pages link to Volker Weber (Q631088):
Displayed 7 items.
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Dynamic complexity theory revisited (Q2643134) (← links)
- On the Hybrid Extension of CTL and CTL + (Q3182944) (← links)
- Bounded-Variable Fragments of Hybrid Logics (Q3590965) (← links)
- On the Complexity of Branching-Time Logics (Q3644771) (← links)
- STACS 2005 (Q5710680) (← links)