|
Journals in DBLP
- Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Unification Modulo ACUI Plus Distributivity Axioms. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:33, n:1, pp:1-28 [Journal]
- Lawrence C. Paulson
Organizing Numerical Theories Using Axiomatic Type Classes. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:33, n:1, pp:29-49 [Journal]
- Jürgen Zimmer, Erica Melis
Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:33, n:1, pp:51-88 [Journal]
|