Parallel time and quantifier prefixes

DOI10.1007/S00037-009-0264-6MaRDI QIDQ626666zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Felipe Cucker, Paulin Jacobé de Naurois

Publication date 18 February 2011

Published in Computational Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00037-009-0264-6

zbMATH Keywords

alternation between blocks of Boolean quantifiersSavitch's Theorem

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• A note on parallel and alternating time
• On the Complexity of Quantifier Elimination: the Structural Approach
• \(P_ \mathbb{R}{}\neq{}NC_ \mathbb{R}\)
• Sur la complexité du principe de Tarski-Seidenberg
• Publication:3483265

This page was built for publication: Parallel time and quantifier prefixes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626666)