CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishVicious circles in contracts and in logic / Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 109(2015), pp. 61-95.
| Titolo: | Vicious circles in contracts and in logic |
| Autori: | Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto |
| Autori Unitn: | |
| Titolo del periodico: | SCIENCE OF COMPUTER PROGRAMMING |
| Anno di pubblicazione: | 2015 |
| Codice identificativo Scopus: | 2-s2.0-84932197779 |
| Codice identificativo ISI: | WOS:000358469900004 |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.scico.2015.01.005 |
| Handle: | http://hdl.handle.net/11572/110962 |
| Citazione: | Vicious circles in contracts and in logic / Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 109(2015), pp. 61-95. |
| Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| main.pdf | Post-print referato (Refereed author’s manuscript) | Tutti i diritti riservati (All rights reserved) | Administrator |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11572/110962
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
Copyright © 2020