Automata over Infinite Alphabets
From MaRDI portal
Publication:4907869
DOI10.1142/9789814271059_0017zbMath1256.68107OpenAlexW2394923812MaRDI QIDQ4907869
No author found.
Publication date: 26 February 2013
Published in: Modern Applications of Automata Theory (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/882ba64add9c83114960219da602ac0c9bd154ba
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Automata over Infinite Alphabets
