J.-G. Smaus. Proving termination of input-consuming logic programs. In D. De Schreye, editor, Proc. of the International Conference on Logic Programming, pages 335--349. MIT Press, 1999. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Termination of Well-Typed Logic Programs - Bossi, Cocco, Rossi (Correct)
Termination of Simply-Moded Well-Typed Logic Programs.. - Verbaeten, De Schreye (2001) (Correct)
Termination of Well-Typed Logic Programs - Bossi, Cocco, Rossi (Correct)
Semantics of Well-Moded Input-Consuming Logic Programs - Bossi, Etalle, Rossi (2000) (Correct)
Semantics of Well-Moded Input-Consuming Programs - Bossi, Etalle, Rossi (Correct)
Semantics of Input-Consuming Logic Programs - Bossi, Etalle, Rossi (2000) (1 citation) (Correct)
Properties of Input-Consuming Derivations - Bossi, Etalle, Rossi (1999) (1 citation) (Correct)
Properties of Input-Consuming Derivations - Bossi, Etalle, Rossi (1 citation) (Correct)
On Logic Programs That Always Succeed - Pedreschi, Ruggieri (Correct)
Declarative Semantics of Input Consuming Logic Programs - Bossi, Cocco, Etalle, Rossi (Correct)
Characterisations of Termination in Logic Programming - Pedreschi, Ruggieri, Smaus Self-citation (Smaus) (Correct)
Termination of Simply Moded Logic Programs with Dynamic.. - Bossi, Etalle, Rossi.. (2004) Self-citation (Smaus) (Correct)
Proving Termination of Input-Consuming Logic Programs - Smaus (1999) (10 citations) Self-citation (Smaus) (Correct)
Using Modes to Ensure Subject Reduction for Typed Logic.. - Smaus, Fages, Deransart (2000) (1 citation) Self-citation (Smaus) (Correct)
Semantics and Termination of Simply-Moded Logic.. - Bossi, Etalle, Rossi.. (2001) Self-citation (Smaus) (Correct)
Semantics and Termination of Simply-Moded Logic.. - Bossi, Etalle, Rossi.. (2001) Self-citation (Smaus) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC