

Publisher: John Wiley & Sons Inc
E-ISSN: 1468-5930|32|3|275-292
ISSN: 0264-3758
Source: JOURNAL OF APPLIED PHILOSOPHY, Vol.32, Iss.3, 2015-08, pp. : 275-292
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


Guarded Fragments with Constants
By Cate Balder Franceschet Massimo
Journal of Logic, Language and Information, Vol. 14, Iss. 3, 2005-06 ,pp. :


A Guarded Fragment for Abstract State Machines
By Nowack Antje
Journal of Logic, Language and Information, Vol. 14, Iss. 3, 2005-06 ,pp. :



