Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems

Autor
Galesi, N.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
39th. Annual Symposium on Foundations of Computer Science
Any de l'edició
1998
Data de presentació
1998-11-11
Grup de recerca
LOGPROG - Lògica i Programació

Participants

  • Galesi, Nicola  (autor ponent)