Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

DOI10.1017/S147106841900005XzbMath1472.68086WikidataQ127806653 ScholiaQ127806653MaRDI QIDQ4957191

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

Publication date: 3 September 2021

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

Mathematics Subject Classification ID

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

Cites Work

• Solving Horn Clauses on Inductive Data Types Without Induction

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