Author： Intrigila B. Zilli M.V.
Publisher： Academic Press
ISSN： 0747-7171
Source： Journal of Symbolic Computation, Vol.21, Iss.3, 1996-03, pp. : 289-292
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
Random Matching of Several Infinite Populations
Annals of Operations Research, Vol. 114, Iss. 1-4, 2002-08 ,pp. :
Access to resources
Recommend
Unification of infinite sets of terms schematized by primal grammars
Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. :
E-unification with Constants vs. General E-unification
By Otop Jan
Journal of Automated Reasoning, Vol. 48, Iss. 3, 2012-03 ,pp. :