Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

CLP for infinite domains

10 views
Skip to first unread message

burs...@gmail.com

unread,
Mar 10, 2017, 8:39:05 AM3/10/17
to
FYI:

Constraint Logic Programming over Infinite
Domains with an Application to Proof

Sebastian Krings Michael Leuschel - 2017
https://arxiv.org/abs/1701.00629
0 new messages