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.
EnglishCombinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction / CORTESI A.; B. LE CHARLIER; P. VAN HENTENRYCK. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 38(2000), pp. 27-71.
| Titolo: | Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction |
| Autori: | |
| Data di pubblicazione: | 2000 |
| Rivista: | |
| Handle: | http://hdl.handle.net/10278/12124 |
| Appare nelle tipologie: | 2.1 Articolo su rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| SCP_38.pdf | Post-print | Accesso chiuso-personale | Riservato |
http://hdl.handle.net/10278/12124
Copyright © 2018