Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 179
Titolo Data di pubblicazione Autore(i) File
{log}: A Logic Programming Language with Finite Sets 1-gen-1991 Dovier, Agostino; E. G., Omodeo; E., Pontelli; G., Rossi
Embedding Finite Sets in a Logic Programming Language 1-gen-1992 Dovier, Agostino; E. G., Omodeo; E., Pontelli; G., Rossi
Embedding extensional finite sets in CLP 1-gen-1993 Dovier, Agostino; G., Rossi
A WAM based Implementation of a Logic Language with Sets 1-gen-1993 Dovier, Agostino; E., Pontelli
A language with Finite Sets embedded in the CLP-scheme 1-gen-1993 Dovier, Agostino
Compiling Intensional Sets in CLP 1-gen-1994 P., Bruscoli; Dovier, Agostino; E., Pontelli; G., Rossi
Minimal set unification 1-gen-1995 Arenas Sanchez, P; Dovier, Agostino
Integrating lists, multisets, and sets in a logic programming framework. 1-gen-1996 Dovier, Agostino; Policriti, Alberto; G., Rossi
{log}: A Language for Programming in Logic with Finite Sets 1-gen-1996 Dovier, Agostino; E. G., Omodeo; E., Pontelli; AND G., Rossi
On T Logic Programming 1-gen-1997 Dovier, A.; Formisano, A.; Policriti, A.
A Minimality Study for Set Unification 1-gen-1998 Puri Arenas, Sanchez; Dovier, Agostino
On the Representation and Management of Finite Sets in CLP-languages 1-gen-1998 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 1-gen-1998 Dovier, Agostino; Policriti, Alberto; Rossi, G.
From Set to Hyperset Unification 1-gen-1999 Aliffi, D.; Dovier, Agostino; Rossi, G.
ACI1 Constraints 1-gen-1999 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case 1-gen-1999 Dovier, Agostino; Omodeo, E.; Policriti, Alberto
Comparing Expressiveness of Set Constructor Symbols 1-gen-2000 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
A Necessary Condition for Constructive Negation in Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Pontelli, E.; Rossi, G.
Sets and Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Multiset rewriting by multiset constraint solving 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
Mostrati risultati da 1 a 20 di 179
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