Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

  • Manuel Bodirsky - , Ecole Polytechnique (Autor:in)
  • Peter Jonsson - (Autor:in)
  • Timo von Oertzen - (Autor:in)

Details

OriginalspracheEnglisch
Seiten (von - bis)643-660
Seitenumfang18
Fachzeitschrift Journal of logic and computation
Jahrgang22
Ausgabenummer3
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa
Extern publiziertJa

Externe IDs

Scopus 84861838863
ORCID /0000-0001-8228-3611/work/142241171

Schlagworte

Bibliotheksschlagworte