Search results for: Matt Kaufmann
Archive for Mathematical Logic > 2018 > 57 > 5-6 > 557-576
Archive for Mathematical Logic > 2018 > 57 > 1-2 > 91-139
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 163-178
Journal of Automated Reasoning > 2011 > 47 > 1 > 1-16
Journal of Applied Logic > 2009 > 7 > 1 > 3-25
Journal of Automated Reasoning > 2008 > 40 > 4 > 293-306
2006 Formal Methods in Computer Aided Design > 153 - 160
Journal of Automated Reasoning > 2001 > 27 > 4 > 323-351