Automata, Languages and Programming
From MaRDI portal
Publication:5716839
DOI10.1007/11523468zbMath1085.68092OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716839
No author found.
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11523468
Formal languages and automata (68Q45) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (7)
Block structure vs scope extrusion: between innocence and omniscience ⋮ ML and Extended Branching VASS ⋮ Algorithmic Nominal Game Semantics ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ A Fragment of ML Decidable by Visibly Pushdown Automata ⋮ Third-order Idealized Algol with iteration is decidable ⋮ Game Semantics for Access Control
This page was built for publication: Automata, Languages and Programming
