Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates

Tytuł:
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates
Czasopismo:
Rok:
2008

Opis:
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

Strony:
543--557

Tom (seria wydawnicza):
5330

Numer DOI:
10.1007/978-3-540-89439-1_38