scientific article; zbMATH DE number 6109850

DOI10.4230/LIPICS.CSL.2012.440zbMath1252.03129MaRDI QIDQ4649564

Satoru Kuroda

Publication date: 22 November 2012

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

zbMATH Keywords

bounded arithmeticproof treeLOGCFLLOGDCFL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Structure of proofs (03F07) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

This page was built for publication: