CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishThe Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality / Parlamento, F.; Previale, F.. - In: THE BULLETIN OF SYMBOLIC LOGIC. - ISSN 1079-8986. - STAMPA. - 23:2(2017), pp. 251-252.
| Titolo: | The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality |
| Autori: | |
| Data di pubblicazione: | 2017 |
| Rivista: | |
| Handle: | http://hdl.handle.net/11390/1122935 |
| Appare nelle tipologie: | 1.5 Abstract in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| Parlamento.pdf | abstract | Abstract | Non pubblico | Accesso ristretto Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020