Pages that link to "Item:Q5466467"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466467):
Displaying 6 items.
- Parallel and serial hypercoherences (Q1583243) (← links)
- Rewritings for polarized multiplicative and exponential proof structures (Q2870318) (← links)
- Thick Subtrees, Games and Experiments (Q3637187) (← links)
- (Q5092325) (← links)
- Near coherence and filter games (Q5945011) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)