Pages that link to "Item:Q3460582"
From MaRDI portal
The following pages link to Game Semantic Analysis of Equivalence in IMJ (Q3460582):
Displaying 5 items.
- Algorithmic games for full ground references (Q1650867) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Reachability in pushdown register automata (Q2396722) (← links)
- ML and Extended Branching VASS (Q2988645) (← links)
