Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems

Tytuł:
Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems
Czasopismo:
Rok:
2014

Opis:
Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I.

Strony:
535--546

Tom (seria wydawnicza):
8634 (Springer)

Numer DOI:
10.1007/978-3-662-44522-8_45