Publications

Export 24 results:
Sort by: Author Title [ Type  (Asc)] Year
Book Chapter
Conference Paper
Pedreschi, D, Ruggieri S, Smaus J-G.  2004.  Characterisations of Termination in Logic Programming. Program Development in Computational Logic. :376-431.
Journal Article