|
Journals in DBLP
- Larry Wos, Gail W. Pieper
The Hot List Strategy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:22, n:1, pp:1-44 [Journal]
- Frieder Stolzenburg
An Algorithm for General Set Unification and Its Complexity. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:22, n:1, pp:45-63 [Journal]
- Peter Madden, Alan Bundy, Alan Smaill
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:22, n:1, pp:65-115 [Journal]
|