CNR Institutional Research Information System

.

27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017

Fioravanti;Fabio;
2018

Abstract

.
2018
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Inglese
http://www.scopus.com/inward/record.url?eid=2-s2.0-85050332918&partnerID=q2rCbXpz
.
4
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Fioravanti, Fabio; Fioravanti, Fabio; Gallagher, ; John, P
284
info:eu-repo/semantics/other
none
04.08 Curatela di Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/20.500.14243/355583
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact