PROOF AND COMPUTATION II More Books Like This
Proof and Computation
2018
Logical Foundations of Computer Science
2017
Logic, Language, Information, and Computation
2017
Relations and Kleene Algebra in Computer Science
2009
Typed Lambda Calculi and Applications
2011
Logic, Language, Information, and Computation
2016
Gentzen's Centenary
2015
Automated Reasoning
2020
Foundations of Software Science and Computational Structures
2010
Logica Universalis
2005
Logic, Language, Information, and Computation
2018
Logic and Its Applications
2019
Relational and Algebraic Methods in Computer Science
2018
Rewriting, Computation and Proof
2007
Typed Lambda Calculi and Applications
2007