Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2004 | 2002 | 2001 | 2000 | 1999
Number of items: 9.

2004

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro and Rossi, Sabina (2004) Declarative Semantics of Input Consuming Logic Programs. In: Program Development in Computational Logic. Lecture Notes in Computer Science (3049). Springer Verlag, Berlin, Germany, pp. 90-114. ISBN 9783540221524

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro and Rossi, Sabina (2004) Declarative semantics of input consuming logic programs. [Report]

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina and Smaus, Jan-Georg (2004) Termination of Simply Moded Logic Programs with Dynamic Scheduling. ACM Transactions on Computational Logic, 15 (3). pp. 470-507. ISSN 1529-3785

2002

Bossi, Annalisa and Cocco, Nicoletta and Rossi, Sabina and Etalle, Sandro (2002) On Modular Termination Proofs of General Logic Programs. Theory and Practice of Logic Programming, 2 (3). pp. 263-291. ISSN 1471-0684

Bossi, Annalisa and Rossi, Sabina and Etalle, Sandro (2002) Properties of Input-Consuming Derivations. Theory and Practice of Logic Programming, 2 (2). pp. 125-154. ISSN 1471-0684

2001

Etalle, Sandro and Bossi, Annalisa and Rossi, Sabina and Smaus, Jan-Georg (2001) Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. In: 10th European Symposium on Programming, ESOP 2001, April 2-6, 2001, Genova, Italy (pp. pp. 402-416).

2000

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina (2000) Semantics of Input-Consuming Logic Programs. In: First International Conference on Computational Logic, CL 2000, July 24-28, 2000, London, UK (pp. pp. 194-208).

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina (2000) Semantics of Well-Moded Input-Consuming Programs. Computer Languages, 26 (1). pp. 1-25. ISSN 0096-0551

1999

Bossi, Annalisa and Etalle, Sandro and Rossi, Sabina (1999) Properties of Input-Consuming Derivations. In: Workshop on Verification of Logic Programs. Electronic Notes in Theoretical Computer Science, 30 (1). Elsevier, pp. 102-124.

This list was generated on Sat Sep 20 05:17:31 2014 CEST.