Theorem Proving in Higher Order Logics More Books Like This
Automated Reasoning
2020
Rewriting, Computation and Proof
2007
Automated Reasoning
2022
Handbook of Process Algebra
2001
Relational and Algebraic Methods in Computer Science
2011
Foundations of Software Science and Computational Structures
2010
Logic, Language, Information, and Computation
2018
Relational and Algebraic Methods in Computer Science
2018
Typed Lambda Calculi and Applications
2011
PROOF AND COMPUTATION II
2021
Logical Foundations of Computer Science
2017
Coalgebraic Methods in Computer Science
2020
Logic, Language, Information, and Computation
2016
Relations and Kleene Algebra in Computer Science
2009
Logic, Language, Information, and Computation
2017