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

Bodirsky, Manuel; Jonsson, Peter; von Oertzen, Timo

doi:10.1093/logcom/exr011

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

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

MPS-Authors

/persons/resource/persons139693

von Oertzen, Timo
Center for Lifespan Psychology, Max Planck Institute for Human Development, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Bodirsky, M., Jonsson, P., & von Oertzen, T. (2012). Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction. Journal of Logic and Computation, 22(3), 643-660. doi:10.1093/logcom/exr011.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0024-EE85-F

Abstract

There is no abstract available