Author： Giordano Laura
Publisher： Springer Publishing Company
ISSN： 1012-2443
Source： Annals of Mathematics and Artificial Intelligence, Vol.46, Iss.3, 2006-03, pp. : 289-315
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
Branching-Time Temporal Logic and Tree Automata
Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. :
Access to resources
Recommend
Tableau method for residuated logic
By MacCaull W.
Fuzzy Sets and Systems, Vol. 80, Iss. 3, 1996-06 ,pp. :
Glivenko Classes of Sequents for Temporal Logic with Time Gaps
By Alonderis R.
Lithuanian Mathematical Journal, Vol. 42, Iss. 3, 2002-07 ,pp. :