Pages that link to "Item:Q5901643"
From MaRDI portal
The following pages link to LATIN 2004: Theoretical Informatics (Q5901643):
Displaying 5 items.
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← 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)
- From local to global temporal logics over Mazurkiewicz traces. (Q2490814) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897506) (← links)