Author： D'Argenio P.R. Verhoef C.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.177, Iss.2, 1997-05, pp. : 351-380
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
A Representation Theorem for MV-algebras
By Jenča Gejza
Soft Computing, Vol. 11, Iss. 6, 2007-04 ,pp. :
Access to resources
Recommend
Theorem Proving Based on the Extension Rule
By Hai Lin Jigui Sun Yimin Zhang
Journal of Automated Reasoning, Vol. 31, Iss. 1, 2003-09 ,pp. :
An extension theorem for arcs and linear codes
Problems of Information Transmission, Vol. 42, Iss. 4, 2006-12 ,pp. :
By Baeten J.
Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. :
Primitives for authentication in process algebras
By Bodei C. Degano P. Focardi R. Priami C.
Theoretical Computer Science, Vol. 283, Iss. 2, 2002-06 ,pp. :