Author： Boley H.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.212, Iss.1, 1999-02, pp. : 77-99
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
Monadic logic programs and functional complexity
By Matos A.B.
Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. :
Access to resources
Recommend
Strategies in Combined Learning via Logic Programs
By Lamma E.
Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. :
A causal semantics for CCS via rewriting logic
By Degano P. Gadducci F. Priami C.
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
Dynamic detection of determinism in functional logic languages
Theoretical Computer Science, Vol. 142, Iss. 1, 1995-05 ,pp. :