Programming Systems Lab: Publications by J.C. Routier

Saarland University Computer Science

Select author:


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


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