Pages that link to "Item:Q5716839"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716839):
Displayed 7 items.
- Third-order Idealized Algol with iteration is decidable (Q2474055) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- ML and Extended Branching VASS (Q2988645) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)
- A Fragment of ML Decidable by Visibly Pushdown Automata (Q3012916) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)