Author： Kaneiwa Ken
Publisher： Taylor & Francis Ltd
ISSN： 1087-6545
Source： Applied Artificial Intelligence, Vol.24, Iss.10, 2010-11, pp. : 896-913
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
Assumption/guarantee specifications in linear-time temporal logic
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :
Access to resources
Recommend
On proof normalization in linear logic
By Perrier G.
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
Vectorial languages and linear temporal logic
By Serre O.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :
Efficient resource management for linear logic proof search
By Cervesato I. Hodas J.S. Pfenning F.
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
Optimization complexity of linear logic proof games
By Lincoln P.D. Mitchell J.C. Scedrov A.
Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. :