Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 106
Titolo Data di pubblicazione Autore(i) File
Extending Horn Clause Logic with Implication Goals 1-gen-1992 Giordano, L.; Martelli, A.; Rossi, Gianfranco
Embedding extensional finite sets in CLP 1-gen-1993 Dovier, A.; Rossi, Gianfranco
Programs as Data in an Extended Prolog 1-gen-1993 Rossi, Gianfranco
Parametric Composable Modules in a Logic Programming Language 1-gen-1993 Lamma, E.; Mello, P.; Rossi, Gianfranco
Structured Prolog: A Language for Structured Logic Programming 1-gen-1994 Giordano, L.; Martelli, A.; Rossi, Gianfranco
Compiling Intensional Sets in CLP 1-gen-1994 Bruscoli, P.; Dovier, A.; Pontelli, E; Rossi, Gianfranco
{log}: A Language for Programming in Logic with Finite Sets 1-gen-1996 Dovier, A.; Pontelli, E.; Rossi, Gianfranco; Omodeo, E.
Integrating lists, multisets, and sets in a logic programming framework 1-gen-1996 Dovier, A; Policriti, A; Rossi, Gianfranco
Program Specification and Programming with Sets in Logic 1-gen-1997 Rossi, Gianfranco
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 1-gen-1998 Dovier, A; Policriti, A; Rossi, Gianfranco
On the Representation and Management of Finite Sets in CLP-languages 1-gen-1998 Dovier, A; Piazza, C; Pontelli, E; Rossi, Gianfranco
From Set to Hyperset Unification 1-gen-1999 Aliffi, D.; Dovier, A.; Rossi, Gianfranco
ACI1 Constraints 1-gen-1999 Dovier, A.; Piazza, C.; Pontelli, E.; Rossi, Gianfranco
Sets and Constraint Logic Programming 1-gen-2000 Dovier, A.; Piazza, C.; Pontelli, E.; Rossi, Gianfranco
A Necessary Condition for Constructive Negation in Constraint Logic Programming 1-gen-2000 Dovier, A.; Pontelli, E.; Rossi, Gianfranco
Set Unification 1-gen-2001 Dovier, A; Pontelli, E; Rossi, Gianfranco
Multiset rewriting by multiset constraint solving 1-gen-2001 Dovier, A.; Piazza, C.; Rossi, Gianfranco
Multiset Constraints and P Systems 1-gen-2001 Dovier, A; Piazza, C; Rossi, Gianfranco
Constructive negation and constraint logic programming with sets 1-gen-2001 Dovier, A.; Pontelli, E. .; Rossi, Gianfranco
Multiset Constraints and P Systems 1-gen-2001 Dovier, A; Piazza, C; Rossi, Gianfranco
Mostrati risultati da 21 a 40 di 106
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