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 1086678 - MaRDI portal

scientific article; zbMATH DE number 1086678

From MaRDI portal

Publication:4362929

Jump to:navigation, search

zbMath0889.03021MaRDI QIDQ4362929

Martin Otto

Publication date: 13 November 1997

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

zbMATH Keywords

first-order logic first-order definability combinatorial circuits bounded variable fragment bounded variable fragment of infinitary logic combinatorial symmetry of circuits

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (3)

On symmetric circuits and fixed-point logics ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication:

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