Verification: Theory and Practice

DOI10.1007/B12001zbMATH Open1274.03016OpenAlexW2483649756MaRDI QIDQ5305660

Angelo Montanari, Enrico Marzano, Alberto Policriti

Publication date: 23 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Verification: Theory and Practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5305660)