Author: Salgado D. Sánchez-Gómez J. Ferrero M.
Publisher: Springer Publishing Company
ISSN: 1230-1612
Source: Open Systems and Information Dynamics, Vol.12, Iss.1, 2005-03, pp. : 55-64
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
OPEN QUANTUM SYSTEMS AND COMPLETE POSITIVITY
By Benatti F. Floreanini R. Lapel A.
Cybernetics and Systems, Vol. 32, Iss. 3-4, 2001-04 ,pp. :
On proof normalization in linear logic
By Perrier G.
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
By de Groote P.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
Infiniteness of proof( ) is polynomial-space complete
By Hirokawa S.
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :