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
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction - MaRDI portal

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

From MaRDI portal

Publication:2986798

Jump to:navigation, search

DOI10.1109/LICS.2012.32zbMATH Open1364.03047MaRDI QIDQ2986798

Hubie Chen, Moritz Müller

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

computational complexity preservation theorem quantified constraint satisfaction periodic power aleph-zero categoricity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Interpolation, preservation, definability (03C40) Categoricity and completeness of theories (03C35)

Related Items (1)

Quantified Constraints in Twenty Seventeen

This page was built for publication: An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

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