Proving Termination of Input-Consuming Logic Programs (1999)

View PDF

Download Links

by Jan-Georg Smaus
Citations:15 - 5 self

Active Bibliography

8 Properties of Input-Consuming Derivations – A. Bossi, S. Etalle, S. Rossi - 1999
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
6 Characterisations of Termination in Logic Programming – Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus - 2001
5 Verifying Termination and Error-Freedom of Logic Programs with block Declarations – Jan-Georg Smaus, Patricia M. Hill, Andy King - 2001
Under consideration for publication in Theory and Practice of Logic Programming 1 Properties of Input-Consuming Derivations – Annalisa Bossi, Sabina Rossi, Sandro Etalle
Well-Terminating Programs – S. Etalle, A. Bossi, N. Cocco - 1998
3 Semantics of Well-Moded Input-Consuming Logic Programs – Annalisa Bossi, Sandro Etalle, Sabina Rossi - 2000
Semantics of Well-Moded Input-Consuming Programs – Annalisa Bossi, Sandro Etalle, Sabina Rossi
11 On Modular Termination Proofs of General Logic Programs – Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi - 2002