Theorem Proving in Higher Order Logics More Books Like This
Interactive Theorem Proving
2011
Algebraic Methodology and Software Technology
2011
Automated Reasoning
2008
Programming Languages and Systems
2011
Functional and Logic Programming
2022
Programming Languages and Systems
2023
Programming Languages and Systems
2009
Semantics and Algebraic Specification
2009
Rewriting Logic and Its Applications
2018
Functional and Logic Programming
2008
Logic-Based Program Synthesis and Transformation
2008
Automated Reasoning
2010
Automated Deduction -- CADE-23
2011
Static Analysis
2018
Programming Languages and Systems
2022