IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.
IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.
EnglishOn uniformly constructive and semiconstructive formal systems / M. FERRARI; MIGLIOLI P; ORNAGHI M. - In: LOGIC JOURNAL OF THE IGPL. - ISSN 1367-0751. - 11(2003), pp. 1-49.
| Autori: | |
| Data di pubblicazione: | 2003 |
| Titolo: | On uniformly constructive and semiconstructive formal systems |
| Rivista: | LOGIC JOURNAL OF THE IGPL |
| Codice identificativo ISI: | WOS:000182450900001 |
| Appare nelle tipologie: | Articolo su Rivista |
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