Publisher: Edp Sciences
E-ISSN: 1270-900x|12|issue|25-30
ISSN: 1270-900x
Source: ESAIM: Proceedings, Vol.12, Iss.issue, 2002-01, pp. : 25-30
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Towards applied theories based on computability logic
The Journal of Symbolic Logic, Vol. 75, Iss. 2, 2010-06 ,pp. :