TCHR: a framework for tabled CLP

From MaRDI portal

Revision as of 23:28, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3514891

Jump to:navigation, search

DOI10.1017/S147106840800327XzbMath1148.68013OpenAlexW2047055582MaRDI QIDQ3514891

Bart Demoen, Tom Schrijvers, David S. Warren

Publication date: 23 July 2008

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

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

zbMATH Keywords

constraint logic programming constraint handling rules tabled execution

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Description, Implementation, and Evaluation of a Generic Design for Tabled CLP ⋮ TCHR

Cites Work

This page was built for publication: TCHR: a framework for tabled CLP

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3514891&oldid=16875811"