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

scientific article

From MaRDI portal
Publication:3662618

zbMath0515.68040MaRDI QIDQ3662618

Michael Sipser

Publication date: 1982


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



Related Items (25)

On the complexity of the parity argument and other inefficient proofs of existenceA characterization of the leaf language classesRelativization of Gurevich’s ConjecturesOn an optimal quantified propositional proof system nal proof system and a complete language for NP ∩ co-NP for NP ∩ co-NPA note on complete problems for complexity classesA general method to construct oracles realizing given relationships between complexity classesRelativized counting classes: Relations among thresholds, parity, and modsComputational tameness of classical non-causal modelsComplexity classes without machines: on complete languages for UPOn the relative complexity of hard problems for complexity classes without complete problemsCapturing complexity classes with Lindström quantifiersOn the complexity of rankingTowards a Unified Complexity Theory of Total FunctionsSeparating complexity classes with tally oraclesTowards a unified complexity theory of total functionsParity, circuits, and the polynomial-time hierarchyA uniform approach to define complexity classesThe 1-versus-2 queries problem revisitedOn Complete Problems, Relativizations and Logics for Complexity ClassesLWPP and WPP are not uniformly gap-definableError-bounded probabilistic computations between MA and AMDot operatorsOn complete one-way functionsRelativizing relativized computationsRobust algorithms: a different approach to oracles




This page was built for publication: