Programming Systems Lab: Publications by J.C. Routier

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


Legal notice, Privacy policy