Author: Charatonik W. Podelski A.
Publisher: Academic Press
ISSN: 0890-5401
Source: Information and Computation, Vol.179, Iss.2, 2002-12, pp. : 213-229
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
By Gilleron R. Tison S. Tommasi M.
Information and Computation, Vol. 149, Iss. 1, 1999-02 ,pp. :
Set Constraints and Logic Programming
By Kozen D.
Information and Computation, Vol. 142, Iss. 1, 1998-04 ,pp. :
Set Constraints in Some Equational Theories
Information and Computation, Vol. 142, Iss. 1, 1998-04 ,pp. :