|
Journals in DBLP
- Deepak Kapur
Announcement. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:2, pp:105-105 [Journal]
- Panagiotis Manolios, J. Strother Moore
Partial Functions in ACL2. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:2, pp:107-127 [Journal]
- Leo Bachmair, Ashish Tiwari, Laurent Vigneron
Abstract Congruence Closure. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:2, pp:129-168 [Journal]
- Peter B. Andrews
Herbrand Award Acceptance Speech. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:2, pp:169-187 [Journal]
|