![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Brzoska C.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.202, Iss.1, 1998-07, pp. : 55-125
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Temporal Annotated Constraint Logic Programming
By Fruhwirth T.
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Dealing with Multiple Granularity of Time in Temporal Logic Programming
By Liu C. Orgun M.A.
Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Two-sorted metric temporal logics
Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. :