ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.Mentre il precedente U-Gov Catalogo era un database chiuso, ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishOperational and Abstract Semantics of the Query Language G-Log / CORTESI A.; DOVIER A.; QUINTARELLI E.; TANCA L.. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 275(1-2)(2002), pp. 521-560.
http://hdl.handle.net/10278/26403| Titolo: | Operational and Abstract Semantics of the Query Language G-Log |
| Autori interni: | CORTESI, Agostino |
| Data di pubblicazione: | 2002 |
| Rivista: | THEORETICAL COMPUTER SCIENCE |
| Handle: | http://hdl.handle.net/10278/26403 |
| Appare nelle tipologie: | 2.1 Articolo su rivista |
File in questo prodotto:
| File | Descrizione | Dimensione | Formato | Tipologia | Licenza | |
|---|---|---|---|---|---|---|
| TCS_275.pdf | 386.51 kB | Adobe PDF | Post-print | Riservato |
Copyright © 2017