The following pages link to (Q4737221):
Displaying 4 items.
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)
- Polynomials, fragments of temporal logic and the variety DA over traces (Q880176) (← links)
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- Local temporal logic is expressively complete for cograph dependence alphabets (Q1763374) (← links)
