Author： Pigozzi D. Salibra A.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.140, Iss.1, 1995-03, pp. : 5-52
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
Enlargements of functional algebras for the lambda calculus
By Goldblatt R.
Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. :
Access to resources
Recommend
A Representation Theorem for MV-algebras
By Jenča Gejza
Soft Computing, Vol. 11, Iss. 6, 2007-04 ,pp. :
Boolean representation of bounded BCK-algebras
By Gispert Joan
Soft Computing, Vol. 12, Iss. 10, 2008-08 ,pp. :
Representation theorems for fuzzy orders and quasi-metrics
By Gerla G.
Soft Computing, Vol. 8, Iss. 8, 2004-08 ,pp. :