Publications

of Michael Leuschel

Books and proceedings

  1. M. Leuschel and A. Podelski, editors. PPDP07l, July 2007. ACM. ISBN: 978-1-59593-769-8.

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