Author： Montanari A. de Rijke M.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.183, Iss.2, 1997-09, pp. : 187-214
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
Reified Temporal Logics: An Overview
By Ma J.
Artificial Intelligence Review, Vol. 15, Iss. 3, 2001-05 ,pp. :
Access to resources
Recommend
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. :
Programming in metric temporal logic
By Brzoska C.
Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. :