Carregant...
Carregant...

Vés al contingut (premeu Retorn)

On Interpolation and Automatization for Frege Proof Systems

Autor
Bonet, M.; Pitassi, T.; Raz, R.
Tipus d'activitat
Article en revista
Revista
SIAM journal on computing
Data de publicació
2000-01
Volum
29
Número
6
Pàgina inicial
1939
Pàgina final
1967
Grup de recerca
LOGPROG - Lògica i Programació

Participants