Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The apprentice challenge., and . ACM Trans. Program. Lang. Syst., 24 (3): 193-216 (2002)Reasoning about digital artifacts with ACL2.. PLPV, page 1-2. ACM, (2011)Machines Reasoning About Machines: 2015.. ATVA, volume 9364 of Lecture Notes in Computer Science, page 4-13. Springer, (2015)Rough Diamond: An Extension of Equivalence-Based Rewriting., and . ITP, volume 8558 of Lecture Notes in Computer Science, page 537-542. Springer, (2014)A Grand Challenge Proposal for Formal Methods: A Verified Stack.. 10th Anniversary Colloquium of UNU/IIST, volume 2757 of Lecture Notes in Computer Science, page 161-172. Springer, (2002)Linear and Nonlinear Arithmetic in ACL2., , and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 319-333. Springer, (2003)An Industrial Strength Theorem Prover for a Logic Based on Common Lisp., and . IEEE Trans. Software Eng., 23 (4): 203-213 (1997)Introducing Iteration into the Pure Lisp Theorem Prover.. IEEE Trans. Software Eng., 1 (3): 328-338 (1975)Inductive assertions and operational semantics.. Int. J. Softw. Tools Technol. Transf., 8 (4-5): 359-371 (2006)Rewriting with Equivalence Relations in ACL2., , and . J. Autom. Reason., 40 (4): 293-306 (2008)