Solving Horn Clauses on Inductive Data Types Without Induction.
Saved in:
| Title: | Solving Horn Clauses on Inductive Data Types Without Induction. |
|---|---|
| Authors: | DE ANGELIS, EMANUELE1 emanuele.deangelis@unich.it, FIORAVANTI, FABIO1, PETTOROSSI, ALBERTO2 pettorossi@info.uniroma2.it, PROIETTI, MAURIZIO3 maurizio.proietti@iasi.cnr.it, Dal Palu, Alessandro, Tarau, Paul |
| Source: | Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p452-469. 18p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068418000157 |
