Publications

Export 5 results:

Author Title Type [ Year

]

Filters: Author is Jan-Georg Smaus [Clear All Filters]

2004

D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Characterisations of Termination in Logic Programming”, in Program Development in Computational Logic, 2004, pp. 376-431.

2002

D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Classes of terminating logic programs”, TPLP, vol. 2, pp. 369-418, 2002.

2001

D. Pedreschi, Ruggieri, S., and Smaus, J. - G., “Classes of Terminating Logic Programs”, CoRR, vol. cs.LO/0106, 2001.

Copyright © 2014 - KDD Lab