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
scientific article; zbMATH DE number 2079027 - MaRDI portal

scientific article; zbMATH DE number 2079027

From MaRDI portal

Publication:4474839

Jump to:navigation, search

zbMath1044.68629MaRDI QIDQ4474839

Etienne Grandjean, Frédéric Olive

Publication date: 21 July 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational complexity monadic second-order logic nondeterminism linear time finite model theory NP-complete problem random access machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Model theory of finite structures (03C13)

Related Items (3)

A descriptive complexity approach to the linear hierarchy. ⋮ Rudimentary Languages and Second‐Order Logic ⋮ Sorting, linear time and the satisfiability problem

This page was built for publication:

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