Proving Termination of Input-Consuming Logic Programs (1999)

Cached

Download Links

by Jan-Georg Smaus
Citations:14 - 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
11 On Modular Termination Proofs of General Logic Programs – Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi - 2002
1 Termination in a Hierarchy of General Logic Programs – Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi - 2001
28 Termination of Well-Moded Programs – S. Etalle, A. Bossi, N. Cocco - 1994
Semantics of Well-Moded Input-Consuming Programs – Annalisa Bossi, Sandro Etalle, Sabina Rossi
3 Semantics of Well-Moded Input-Consuming Logic Programs – Annalisa Bossi, Sandro Etalle, Sabina Rossi - 2000
10 Acceptability with General Orderings – Danny De Schreye, Alexander Serebrenik - 2002
1 On Termination of Meta-Programs – Alexander Serebrenik, Danny De Schreye - 2001
2 Termination of Logic Programs Using Various Dynamic Selection Rules – Jan-Georg Smaus - 2004
1 Termination of Well-Typed Logic Programs – Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
10 Proving Termination for Logic Programs by the Query-Mapping Pairs Approach – Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik - 2004
32 Verification of Logic Programs with Delay Declarations – Krzysztof Apt, Ingrid Luitjes - 1995
15 Program Verification and Prolog – Krzysztof R. Apt - 1994
Proving Termination of Logic Programs with Delay Declarations – Elena Marchiori And, E. Marchiori, F. Teusink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Elena Marchiori, Frank Teusink - 1995
17 On Proving Left Termination of Constraint Logic Programs – Fred Mesnard, Salvatore Ruggieri - 2001
3 Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling – Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-georg Smaus - 2001