Polytime Functions in Two-Sorted Bounded Arithmetic

TitlePolytime Functions in Two-Sorted Bounded Arithmetic
Publication TypeMaster's Thesis
2008
AuthorsGoetschi, R
http://www.iam.unibe.ch/ltgpub/2008/goe08.pdf