UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
EnglishJump 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.
Copyright © 2018