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