Author： Pacini G. Sessa M.I.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.238, Iss.1, 2000-05, pp. : 221-246
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
Compositionality properties of SLD-derivations
Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. :
Access to resources
Recommend
On well quasi orders of free monoids
Theoretical Computer Science, Vol. 204, Iss. 1, 1998-09 ,pp. :
Approximate reasoning by similarity-based SLD resolution
By Sessa M.I.
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
ON THE INCREMENTAL ADAPTATION OF CHR DERIVATIONS
By Wolf Armin Gruenhagen Thomas Geske Ulrich
Applied Artificial Intelligence, Vol. 14, Iss. 4, 2000-04 ,pp. :