Formal Languages and Compilation More Books Like This
Languages: From Formal to Natural
2009
Formal Grammar
2018
Grammars for Language and Genes
2011
Interactive Theorem Proving
2015
Towards Mechanized Mathematical Assistants
2007
Automated Reasoning
2018
Interactive Theorem Proving
2016
Type Systems for Distributed Programs: Components and Sessions
2016
Rules and Reasoning
2019
Interactive Theorem Proving
2018
Automated Reasoning
2016
Logics of Specification Languages
2007
Interactive Theorem Proving
2017
Foundations of Information and Knowledge Systems
2020
Petri Nets
2013