Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 40
Titolo Data di pubblicazione Autori Tipo File Abstract
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 1-gen-1993 BOSSI, AnnalisaCOCCO, Nicoletta 2.1 Articolo su rivista -
A Compositional Semantics for Logic Programs 1-gen-1994 BOSSI, Annalisa + 2.1 Articolo su rivista -
Norms on Terms and their use in Proving Universal Termination of a Logic Program 1-gen-1994 BOSSI, AnnalisaCOCCO, Nicoletta + 2.1 Articolo su rivista -
Transforming acyclic programs 1-gen-1994 BOSSI, Annalisa + 2.1 Articolo su rivista -
The s-sematics approach: theory and applications 1-gen-1994 BOSSI, Annalisa + 2.1 Articolo su rivista -
Simultaneous Replacement in Normal Programs 1-gen-1996 BOSSI, AnnalisaCOCCO, Nicoletta + 2.1 Articolo su rivista -
Differential logic programs: Programming methodologies and semantics 1-gen-1996 BOSSI, AnnalisaBUGLIESI, Michele + 2.1 Articolo su rivista -
Specialising Logic Programs with respect to Call/Post Specifications 1-gen-1998 BOSSI, AnnalisaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Call-Correct Specialisation of Logic Programs 1-gen-1998 BOSSI, AnnalisaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Termination of Well-Moded Programs 1-gen-1999 BOSSI, AnnalisaCOCCO, Nicoletta + 2.1 Articolo su rivista -
Properties of Input-Consuming Derivations 1-gen-1999 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
Transformation of left terminating programs 1-gen-2000 BOSSI, AnnalisaCOCCO, Nicoletta + 2.1 Articolo su rivista -
Semantics of input-consuming programs 1-gen-2000 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 1-gen-2000 BOSSI, Annalisa 7.16 Altro -
Semantics of well-moded input-consuming logic programs 1-gen-2000 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
Composing complete and partial knowledge 1-gen-2000 BOSSI, Annalisa + 2.1 Articolo su rivista -
Termination of Well-Typed Logic Programs 1-gen-2001 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 1-gen-2001 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Transformation Systems and Nondeclarative Properties 1-gen-2002 BOSSI, AnnalisaCOCCO, Nicoletta + 3.1 Articolo su libro -
On Modular Termination Proofs of General Logic Programs 1-gen-2002 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 2.1 Articolo su rivista -
Mostrati risultati da 1 a 20 di 40
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