![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Pierce B. Steffen M.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.176, Iss.1, 1997-04, pp. : 235-282
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Theoretical Computer Science, Vol. 184, Iss. 1, 1997-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Chin W-N.
LISP and Symbolic Computation, Vol. 9, Iss. 4, 1996-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Hannan J.
LISP and Symbolic Computation, Vol. 13, Iss. 3, 2000-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Modular Higher-Order Equational Preunification
Journal of Symbolic Computation, Vol. 22, Iss. 4, 1996-10 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A Higher-order Interpretation of Deductive Tableau
Journal of Symbolic Computation, Vol. 31, Iss. 5, 2001-05 ,pp. :