Period of time: 2003年1期
Publisher: Elsevier
Founded in: 2003
Total resources: 3
ISSN: 1570-8683
Subject: O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Applied Logic,volume 1,issue 1
Menu
A constructive approach to state description semantics
Journal of Applied Logic,volume 1,issue 1 , Vol. 1, Iss. 1, 2003-02 , pp.A decidable multi-modal logic of context
Journal of Applied Logic,volume 1,issue 1 , Vol. 1, Iss. 1, 2003-02 , pp.