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

Tytuł:

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