Searching for authors named "Gianfranco Rossi" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Embedding Extensional Finite Sets in CLP
- … Informatica Corso Italia 40, 56100–PISA (Italy) e-mail: dovier@(email omitted); Gianfranco Rossi Università di…
- Cited by 24 (16 self) – Add To MetaCart
-
Action Specifications in {log}
- …Action Specifications in flogg Alessandro Provetti and Gianfranco Rossi Dipartimento di Matematica…
- Add To MetaCart
-
A Uniform Approach to Constraint-Solving for Lists, Multisets, Compact Lists, and Sets
- … Dovier Carla Piazza Gianfranco Rossi y January 2002 Abstract Lists, multisets, and sets are well…
- Cited by 6 (5 self) – Add To MetaCart
-
ACI1 constraints
- … epontell@(email omitted); Gianfranco Rossi Universita di Parma, Italy gianfr@(email omitted); Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
- …@(email omitted); Gianfranco Rossi Dipartimento di Matematica Universita di Parma Via M. D'Azeglio 85/A, 43100 Parma, Italy…
- Cited by 18 (14 self) – Add To MetaCart
-
From Set to Hyperset Unification
- …From set to hyperset unication Davide Ali Agostino Dovier Gianfranco Rossi Abstract In this paper…
- Cited by 6 (6 self) – Add To MetaCart
-
On the Representation and Management of Finite Sets in CLP-languages
- … Verona, Italy dovier@(email omitted); Carla Piazza and Gianfranco Rossi Università di Parma, Dipartimento di…
- Cited by 10 (5 self) – Add To MetaCart
-
A Necessary Condition for Constructive Negation in Constraint Logic Programming
- … Enrico Pontelli y Gianfranco Rossi z Abstract In [15] a sound and complete procedure for Constructive…
- Cited by 1 (1 self) – Add To MetaCart
-
Dealing with Infinite Intensional Sets in CLP
- …Dealing with Innite Intensional Sets in CLP Roberta Carmona | Agostino Dovier ~ Gianfranco…
- Cited by 2 (1 self) – Add To MetaCart
-
Constructive Negation and Constraint Logic Programming with Sets
- …@(email omitted); Gianfranco ROSSI Universita di Parma, Dip. di Matematica. Via M. D'Azeglio, 85/A. 43100 Parma (IT). gianfr…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
