Positive and Negative Proofs for Circuits and Branching Programs

DOI10.1007/978-3-319-09704-6_24zbMath1332.68055OpenAlexW2173744597MaRDI QIDQ5496195

Andreas Krebs, Michael Ludwig, Olga Dorzweiler, Thomas Flamm

Publication date: 7 August 2014

Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09704-6_24

Mathematics Subject Classification ID

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

This page was built for publication: Positive and Negative Proofs for Circuits and Branching Programs