Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.258, Iss.1, 2001-05, pp. : 523-553
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
Hybrid rules with well-founded semantics
By Drabent Włodzimierz Małuszyński Jan
Knowledge and Information Systems, Vol. 25, Iss. 1, 2010-10 ,pp. :
Bottom-up evaluation and query optimization of well-founded models
By Kemp D.B. Srivastava D. Stuckey P.J.
Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. :
Actor languages Their syntax, semantics, translation, and equivalence
Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. :