Special issue on Temporal Logic in Logic and Computer Science - Editorial

Montanari, Angelo; Policriti,; Venema, Y.

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.

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.

Titolo:	Special issue on Temporal Logic in Logic and Computer Science - Editorial
Autori:	MONTANARI, Angelo POLICRITI VENEMA Y. mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	1999
Rivista:	LOGIC JOURNAL OF THE IGPL
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.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11390/672077

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.