Operational and Abstract Semantics of the Query Language G-Log
2002 Cortesi, Agostino; Dovier, A.; Quintarelli, E.; Tanca, L.
Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction
2000 Cortesi, Agostino; B., LE CHARLIER; P., VAN HENTENRYCK
Optimal Groundness Analysis Using Propositional Logic
1996 Cortesi, Agostino; File', G.; Winsborough,
Abstract Domains for Reordering CLP(RLin) Programs
2000 V., Ramachandran; Cortesi, Agostino; P., VAN HENTENRYCK
Evaluation of the Domain Prop
1995 VAN HENTENRYCK, P.; Cortesi, Agostino; LE CHARLIER, B.
The quotient of an abstract interpretation
1998 Cortesi, Agostino; File', G.; Winsborough, W.
Type Analysis of Prolog Using Type Graphs
1995 VAN HENTENRYCK, P.; Cortesi, Agostino; LE CHARLIER, B.
Sharing is optimal
1999 Cortesi, Agostino; G., File'
Sul sade di Biruni e di 'Onsori
1995 Cristoforetti, Simone
Tempo rubato e tempo addizionato: il tredicesimo mese dei persiani
2003 Cristoforetti, Simone
San Sergio a Perugia
1996 Cristoforetti, Simone
Un confine post-sovietico tra l’anno e la settimana
2004 Cristoforetti, Simone
Santa Maria del Soccorso a Tiberio
2002 Cristoforetti, Simone
La Georgia antiochena e il 'lungo viaggio' di Ashïk Kerib
1994 Cristoforetti, Simone
Complementation in abstract interpretation
1997 Cortesi, Agostino; Giacobazzi, R.; File', G.; Palamidessi, C.; Ranzato, F.
Iscrizioni cristiane di Roma nel Museo Oliveriano
1982 Cresci, Giovannella; Mennella, G.
Epigraphica subalpina (correzioni di lettura)
1985 Cresci, Giovannella
Nota a Nep. Hann. 7,4
1978 Cresci, Giovannella
Revisioni epigrafiche
1982 Cresci, Giovannella; Mennella, G.
Alessandro in età neroniana: victor o praedo?
1983 Cresci, Giovannella
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 2 Contributo su rivista36303
- 3 Contributo in Volume2
Data di pubblicazione
- In corso di stampa154
- 2020 - 202611027
- 2010 - 201913342
- 2000 - 20096981
- 1990 - 19993176
- 1980 - 19891182
- 1970 - 1979400
- 1963 - 196943
Editore
- Supernova Edizioni, Venezia11
- Editoriale Programma:P Tta I Niev...8
- SPRINGER8
- Elsevier6
- ELSEVIER SCIENCE BV6
- Pordenone: Società Naturalisti "S...5
- Elsevier B.V.4
- Routledge4
- Venezia : s.n.4
- American Chemical Society3
Rivista
- ANNALI DI CA' FOSCARI223
- RASSEGNA IBERISTICA171
- SCIENCE OF THE TOTAL ENVIRONMENT151
- JOURNAL OF ORGANOMETALLIC CHEMISTRY136
- SCIENTIFIC REPORTS128
- PLOS ONE102
- JOURNAL OF MOLECULAR CATALYSIS. A...97
- INORGANICA CHIMICA ACTA96
- BIOLOGIA MARINA MEDITERRANEA94
- ART E DOSSIER93
Keyword
- Italy204
- Humans168
- Venezia125
- Venice110
- China98
- Climate change98
- Chemistry (all)81
- 278
- COVID-1978
- Ecology76
Lingua
- eng17288
- ita8626
- spa744
- fre580
- ger205
- por143
- rus74
- grc61
- jpn58
- cat57
Accesso al fulltext
- no fulltext12290
- open12094
- reserved11275
- partially open428
- embargoed218