Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Linear Lower bounds and simulations in Frege systems with substitutions

Autor
Bonet, M.; Galesi, N.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
1998-02
Volum
1414
Pàgina inicial
115
Pàgina final
128
Grup de recerca
LOGPROG - Lògica i Programació

Participants