Book Details

Theorem Proving in Higher Order Logics

Publication year: 2005

: 978-3-540-31820-0

:


This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.


: Computer Science, Coq, Isabelle, formal verification, logic, proof theory, proving, theorem proving, verification