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.
EnglishSpecial issue on Temporal Logic in Logic and Computer Science - Editorial / MONTANARI A; POLICRITI; VENEMA Y. - In: LOGIC JOURNAL OF THE IGPL. - ISSN 1367-0751. - 7:1(1999), pp. 5-6.
| Titolo: | Special issue on Temporal Logic in Logic and Computer Science - Editorial |
| Autori: | |
| Data di pubblicazione: | 1999 |
| Rivista: | |
| Citazione: | Special issue on Temporal Logic in Logic and Computer Science - Editorial / MONTANARI A; POLICRITI; VENEMA Y. - In: LOGIC JOURNAL OF THE IGPL. - ISSN 1367-0751. - 7:1(1999), pp. 5-6. |
| Handle: | http://hdl.handle.net/11390/672077 |
| Appare nelle tipologie: | 7.1 Curatela |
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 © 2021