M. Leuschel and A. Podelski, editors.
PPDP07l,
July 2007.
ACM.
ISBN: 978-1-59593-769-8.
Conference articles
Sebastian Krings and Michael Leuschel.
Constraint Logic Programming over Infinite Domains with an Application to Proof.
In Proc. 30th Workshop on Logic Programming (WLP 2016),
2016.
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
Last Update
Mon May 28 11:19:41 2018
Authors
This bibliography was compiled by the following authors:
Peter Van Weert
Jon Sneyers
Tom Schrijvers
Leslie De Koninck
Falco Nogatz
Thom Frühwirth
Daniel Gall
Please send BibTEX entries of missing CHR-related publications to Falco Nogatz.
Credits
This document was generated from BibTEX by
bibtex2html.