DLOGTIME proof systems

DOI10.4230/LIPICS.FSTTCS.2013.189MaRDI QIDQ2963912zbMATH OpenFDO

Authors A. Krebs, Nutan Limaye

Publication date 21 February 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2013.189

zbMATH Keywords

\(\mathrm {NC}^0\)DLOGTIMEproof systems

Mathematics Subject Classification ID

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

Recommendations

• Verifying proofs in constant depth
• Verifying proofs in constant depth
• On p-optimal proof systems and logics for PTIME

Cited in

(2)

• Verifying proofs in constant depth
• Verifying proofs in constant depth

This page was built for publication: DLOGTIME proof systems

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