Parallel time and quantifier prefixes

DOI10.1007/S00037-009-0264-6zbMath1211.68207OpenAlexW2068926192WikidataQ57733146 ScholiaQ57733146MaRDI QIDQ626666

Paulin Jacobé de Naurois, Felipe Cucker

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)

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