Login / Signup

Herbrandizing search problems in Bounded Arithmetic.

Jirí Hanika
Published in: Math. Log. Q. (2004)
Keyphrases