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