Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

EMANUELE DE ANGELIS; FABIO FIORAVANTI; ALBERTO PETTOROSSI; MAURIZIO PROIETTI

doi:10.1017/S147106841900005X

Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

Published online by Cambridge University Press: 27 May 2019

EMANUELE DE ANGELIS ,

FABIO FIORAVANTI ,

ALBERTO PETTOROSSI and

MAURIZIO PROIETTI

Article contents

Abstract
References

Rights & Permissions

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type: Erratum
Information: Theory and Practice of Logic Programming , Volume 19 , Issue 4 , July 2019 , pp. 629

DOI: https://doi.org/10.1017/S147106841900005X [Opens in a new window]
Copyright: © Cambridge University Press 2019

References

Angelis, De, Fioravanti, E., Pettorossi, F., , A., and Proietti, M. 2018. Solving Horn Clauses on Inductive Data Types Without Induction. Theory and Practice of Logic Programming 18, 3-4, 452–469.10.1017/S1471068418000157CrossRef Google Scholar