Hostname: page-component-89b8bd64d-shngb Total loading time: 0 Render date: 2026-05-11T13:43:16.471Z Has data issue: false hasContentIssue false
  • English
  • Français

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
Rights & Permissions [Opens in a new window]

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
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/S1471068418000157CrossRefGoogle Scholar