Skip to content

Bounded Arithmetic and Descriptive Complexity.

Achim Blumensath

VenueBCSL
Year2000
ProceedingsCSL

Browse the full CSL paper archive.