Author: Margaria I. Zacchi M.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.238, Iss.1, 2000-05, pp. : 363-387
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
Filter models for conjunctive-disjunctive -calculi
By Dezani-Ciancaglini M. de'Liguoro U. Piperno A.
Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. :