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