Jump from Parallel to Sequential Proofs: Multiplicatives / DI GIAMBERARDINO P; Faggian Claudia. - 4207:(2006), pp. 319-333. ((Intervento presentato al convegno Computer Science Logic 2006 tenutosi a SZEGED, HUNGARY nel 25-29 Settembre 2006.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Jump from Parallel to Sequential Proofs: Multiplicatives | |
Autori: | ||
Data di pubblicazione: | 2006 | |
Handle: | http://hdl.handle.net/11584/73612 | |
ISBN: | 3-540-45458-6 | |
Tipologia: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.