Author: Ma J.
Publisher: Springer Publishing Company
ISSN: 0269-2821
Source: Artificial Intelligence Review, Vol.15, Iss.3, 2001-05, pp. : 189-217
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
Temporal Logics of Repeating Values
By Demri Stphane DSouza Deepak Gascon Rgis
Journal of Logic and Computation, Vol. 22, Iss. 5, 2012-10 ,pp. :
A hierarchy of temporal logics with past
By Laroussinie F. Schnoebelen P.
Theoretical Computer Science, Vol. 148, Iss. 2, 1995-09 ,pp. :
Editorial: Executable Temporal Logics
By Fisher M. Kono S. Orgun M.A.
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :
Two-sorted metric temporal logics
Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. :