Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

DOI10.1017/S147106841900005XMaRDI QIDQ4957191zbMATH OpenWikidataFDO

Authors Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Publication date 3 September 2021

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S147106841900005X

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Solving Horn clauses on inductive data types without induction

Cited in

(2)

• scientific article; zbMATH DE number 626035 (Why is no real title available?)
• HM(X) type inference is CLP(X) solving

This page was built for publication: Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957191)