CINECA IRIS Institutional Research Information System

Intersection Logic

RONCHI DELLA ROCCA, Simonetta;ROVERSI, Luca
2001-01-01
2001
Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th Annual Conference of the EACSL
Paris, France
September 10-13, 2001
Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings
Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229
2142
414
429
3-540-42554-3
S. RONCHI DELLA ROCCA; ROVERSI L.
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
RonchiRoversi2001CSL.pdf

Accesso riservato

Descrizione: Articolo
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 184.98 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
184.98 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/9568
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? ND
social impact