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
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time - MaRDI portal

Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time

From MaRDI portal

Publication:5278405

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2016.19zbMath1369.68222OpenAlexW2552847231MaRDI QIDQ5278405

Svenja Schalthöfer, Erkal Selman, Wied Pakusa

Publication date: 19 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2016.19

zbMATH Keywords

finite model theory descriptive complexity choiceless polynomial time Cai-Fürer-Immerman logic for PTime

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Related Items (1)

Choiceless Logarithmic Space

This page was built for publication: Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time

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