Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). | 0 | 0.34 | 2012 |
Standalone Tactics Using OpenTheory. | 1 | 0.35 | 2012 |
Composable Packages for Higher Order Logic Theories. | 1 | 0.44 | 2010 |
Evaluation Opportunities in Mechanized Theories. | 0 | 0.34 | 2010 |
Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings | 23 | 3.29 | 2005 |
An LCF-Style Interface between HOL and First-Order Logic | 20 | 1.21 | 2002 |
A Formal Approach to Probabilistic Termination | 15 | 0.83 | 2002 |
Congruence Classes with Logic Variables | 0 | 0.34 | 2001 |
Integrating Gandalf and HOL | 29 | 1.79 | 1999 |