Programming Systems Lab: Publications by P. Lebegue

Saarland University Computer Science

Select author:

1996

Smallest Horn Clause Programs   (pdf)
P. Devienne, P. Lebegue, A. Parrain, J.C. Routier, Jörg Würtz
Journal of Logic Programming

1994

One binary Horn clause is enough   (pdf)
P. Devienne, P. Lebegue, J.C. Routier, Jörg Würtz
Symposium on Theoretical Aspects of Computer Science


Login to edit


Webmaster, Mon May 30 13:48:30 2016