scientific article; zbMATH DE number 7361952

zbMath1464.68196arXiv1405.5593MaRDI QIDQ4994932

Matthew Hague, Arnaud Carayol

Publication date: 22 June 2021

Full work available at URL: https://arxiv.org/abs/1405.5593

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A generic framework for checking semantic equivalences between pushdown automata and finite-state automata ⋮ A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct ⋮ Unnamed Item