Sfoglia per Autore
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs
1993-01-01 Bossi, Annalisa; Cocco, Nicoletta
Norms on Terms and their use in Proving Universal Termination of a Logic Program
1994-01-01 Bossi, Annalisa; Cocco, Nicoletta; M., Fabris
A Compositional Semantics for Logic Programs
1994-01-01 Bossi, Annalisa; M., Gabbrielli; G., Levi; M. C., Meo
Transforming acyclic programs
1994-01-01 Bossi, Annalisa; Etalle, S.
The s-sematics approach: theory and applications
1994-01-01 Bossi, Annalisa; M., Martelli; M., Gabbrielli; G., Levi
Simultaneous Replacement in Normal Programs
1996-01-01 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle
Differential logic programs: Programming methodologies and semantics
1996-01-01 Bossi, Annalisa; Bugliesi, Michele; M., Gabbrielli; G., Levi; E. M. C., Meo
Specialising Logic Programs with respect to Call/Post Specifications
1998-01-01 Bossi, Annalisa; Rossi, Sabina
Call-Correct Specialisation of Logic Programs
1998-01-01 Bossi, Annalisa; Rossi, Sabina
Termination of Well-Moded Programs
1999-01-01 Etalle, S; Bossi, Annalisa; Cocco, Nicoletta
Properties of Input-Consuming Derivations
1999-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Transformation of left terminating programs
2000-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S.
Ninth International Workshop on Logic-Based Program Synthesis and Transformation
2000-01-01 Bossi, Annalisa
Semantics of input-consuming programs
2000-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Composing complete and partial knowledge
2000-01-01 Bossi, Annalisa; Verbaeten, S.
Semantics of well-moded input-consuming logic programs
2000-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Termination of Well-Typed Logic Programs
2001-01-01 Bossi, Annalisa; Cocco, Nicoletta; Rossi, Sabina
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling
2001-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina; Smaus, J. G.
Transformation Systems and Nondeclarative Properties
2002-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S.
On Modular Termination Proofs of General Logic Programs
2002-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S; Rossi, Sabina
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile