Author： Bolotov Alexander Basukoski Artie
Publisher： Springer Publishing Company
ISSN： 1012-2443
Source： Annals of Mathematics and Artificial Intelligence, Vol.46, Iss.3, 2006-03, pp. : 235-263
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
Clausal Logic and Logic Programming in Algebraic Domains
Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. :
A Partial Order Approach to Branching Time Logic Model Checking
By Gerth R. Kuiper R. Peled D. Penczek W.
Information and Computation, Vol. 150, Iss. 2, 1999-05 ,pp. :
An Infinite Hierarchy of Temporal Logics over Branching Time
Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. :