1998
An algorithm for the retrieval of unifiers from discrimination trees
Publication
Publication
Journal of Automated Reasoning , Volume 20 - Issue 1-2 p. 5- 25
Presented at the
Logics for Artificial Intelligence, Évora
Additional Metadata | |
---|---|
, | |
Springer | |
Journal of Automated Reasoning | |
Logics for Artificial Intelligence | |
de Nivelle, H. (1998). An algorithm for the retrieval of unifiers from discrimination trees. In Journal of Automated Reasoning (Vol. 20, pp. 5–25). Springer. |