Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Dependence Logic vs. Constraint Satisfaction - MaRDI portal

Dependence Logic vs. Constraint Satisfaction

From MaRDI portal

Publication:5278400

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2016.14zbMath1370.03045OpenAlexW2557140257MaRDI QIDQ5278400

Phokion G. Kolaitis, Lauri Hella

Publication date: 19 July 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2016/6554/

zbMATH Keywords

computational complexity expressive power constraint satisfaction dependence logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Related Items (1)

Characterising modal definability of team-based logics via the universal modality

This page was built for publication: Dependence Logic vs. Constraint Satisfaction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5278400&oldid=19927793"