The following pages link to (Q4807834):
Displaying 4 items.
- Model checking properties on reduced trace systems (Q1736621) (← links)
- Local temporal logic is expressively complete for cograph dependence alphabets (Q1763374) (← links)
- Difficult configurations -- on the complexity of LTrL (Q1774566) (← links)
- From local to global temporal logics over Mazurkiewicz traces. (Q2490814) (← links)
