Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Journal of Automated Reasoning
Volumes and issues
Volume 31, Issue 2
Journal of Automated Reasoning
Publishing model
:
Hybrid
Submit your manuscript
Back to overview
Editorial board
Aims and scope
Journal updates
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
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research