Publications

of Sebastian Krings

Conference articles

  1. 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.

BACK TO INDEX