Author: Desharnais Jules
Publisher: Springer Publishing Company
ISSN: 1388-3690
Source: LISP and Symbolic Computation, Vol.18, Iss.1-2, 2005-06, pp. : 51-77
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
Least and greatest fixed points in intuitionistic natural deduction
By Uustalu
Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. :
Uniqueness of Scott's reflexive domain in P
Theoretical Computer Science, Vol. 155, Iss. 1, 1996-02 ,pp. :
Reflexive games: Transformation of awareness structure
Automation and Remote Control, Vol. 71, Iss. 6, 2010-06 ,pp. :