Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM. Issue 4 (27th May 2019)

Record Type:: Journal Article
Title:: Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM. Issue 4 (27th May 2019)
Main Title:: Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM
Authors:: DE ANGELIS, EMANUELE
FIORAVANTI, FABIO
PETTOROSSI, ALBERTO
PROIETTI, MAURIZIO
Abstract:
Is Part Of:: Theory and practice of logic programming. Volume 19:Issue 4(2019)
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 4(2019)
Issue Display:: Volume 19, Issue 4 (2019)
Year:: 2019
Volume:: 19
Issue:: 4
Issue Sort Value:: 2019-0019-0004-0000
Page Start:: 629
Page End:: 629
Publication Date:: 2019-05-27
Subjects:: Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115
Journal URLs:: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
DOI:: 10.1017/S147106841900005X ↗
Languages:: English
ISSNs:: 1471-0684
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD Digital store
Ingest File:: 10857.xml