![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Koubarakis M.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.266, Iss.1, 2001-09, pp. : 311-339
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)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The Logical Approach to Temporal Reasoning
By Augusto J.C.
Artificial Intelligence Review, Vol. 16, Iss. 4, 2001-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
CO-STATES, CONSTRAINTS, AND DIAGRAMMATIC REASONING
By Chen Z.
Cybernetics and Systems, Vol. 29, Iss. 6, 1998-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Simple linear string constraints
By Fu Xiang Powell Michael Bantegui Michael Li Chung-Chih
Formal Aspects of Computing, Vol. 25, Iss. 6, 2013-11 ,pp. :