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
Access to resources
Recommend
The Logical Approach to Temporal Reasoning
By Augusto J.C.
Artificial Intelligence Review, Vol. 16, Iss. 4, 2001-12 ,pp. :
CO-STATES, CONSTRAINTS, AND DIAGRAMMATIC REASONING
By Chen Z.
Cybernetics and Systems, Vol. 29, Iss. 6, 1998-09 ,pp. :
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. :