De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2016). Removing unnecessary variables from Horn clause verification conditions. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 219, 49-55 [10.4204/EPTCS.219.5].
Removing unnecessary variables from Horn clause verification conditions
PETTOROSSI, ALBERTO;
2016-01-01
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2016-Removing-Unneces-Vars-from-VerificCondits-HCVS-EPTCS-arXiv201604250401.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
82.11 kB
Formato
Adobe PDF
|
82.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
