Volume 31, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 31, Issue 2

October 2003

4 articles in this issue

Announcement
Deepak Kapur
Announcement Pages: 105 - 105
Partial Functions in ACL2
Panagiotis Manolios
J Strother Moore
OriginalPaper Pages: 107 - 127
Abstract Congruence Closure
Leo Bachmair
Ashish Tiwari
Laurent Vigneron
OriginalPaper Pages: 129 - 168
Herbrand Award Acceptance Speech
Peter B. Andrews
OriginalPaper Pages: 169 - 187