Dependence Logic vs. Constraint Satisfaction

Conference object English OPEN
Hella, Lauri; Kolaitis, Phokion;
(2016)
  • Publisher: Schloss Dagstuhl, Leibniz Center for Informatics.
  • Related identifiers: doi: 10.4230/LIPIcs.CSL.2016.14
  • Subject: dependence logic | constraint satisfaction | computational complexity | expressive power | fi=Matematiikka | en=Mathematics| | fi=Tietojenk√§sittely ja informaatiotieteet | en=Computer and information sciences|

Leibniz international proceedings in informatics. Vol. 62.
Share - Bookmark