Logic Programming

DOI10.1007/11562931zbMATH Open1165.68347OpenAlexW2104948204MaRDI QIDQ5475812

Jon Sneyers

Publication date: 27 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Exhaustive Execution of CHR Through Source-to-Source Transformation ⋮ Unfolding for CHR programs ⋮ Improved Termination Analysis of CHR Using Self-sustainability Analysis ⋮ Title not available (Why is that?) ⋮ Analysis of program optimization possibilities and further development

This page was built for publication: Logic Programming

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