- A. Dovier.

**Computable Set Theory and Logic Programming**

Thesis Abstract here and dvi g-zipped version here.

PhD Thesis TD-1/96,Universita degli Studi di Pisa, dip. di Informatica,March 1996. - P. Arenas-Sanchez and A. Dovier.

**A Minimality Study for Set Unification**(Official version)

*TheJournal of Functional and Logic Programming*, Volume 1997, No. 7, pp.1-49. - A. Dovier, A. Policriti, and G. Rossi.

**A Uniform Axiomatic View of Lists, Multisets, and Sets,**(abstract)

and the Relevant Unification Algorithms

*Fundamenta Informaticae*,36(2/3):201-234, 1998.( draft)

- A. Dovier, E. Omodeo, and A. Policriti.

**Solvable set/hyperset contexts:**( draft)

II. A goal-driven unification algorithm for the blendedcase

In*Applicable Algebra in Engineering, Communication and Computing.*Volume 9 Issue 4 (1999) pp 293-332. - D. Aliffi, A. Dovier, and G. Rossi.

**From Set to Hyperset Unification**(Official version)

*TheJournal of Functional and Logic Programming*,Volume 1999, No. 10, pp.1-48. - A. Dovier, E. Pontelli, and G. Rossi.

**A Necessary Condition for Constructive Negation in Constraint Logic Programming**

*Information Processing Letters*Vol. 74 (3-4) (2000) pp. 147-156, Elsevier, North Holland. - A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.

**Sets and Constraint Logic Programming**

ACM Transaction on Programming Language and Systems.22(5) 2000, pp. 861--931 (draft) - A. Dovier, C. Piazza, and A. Policriti.

**Comparing expressiveness of set constructor symbols.**

Proc. of Frontiers of Combining Systems, LNCS 1794, pp. 275-289, FroCoS'2000, March 22-24, 2000. Nancy, France. **Constructive negation and constraint logic programming with set.**

New Generation Computing, Springer Verlag and Ohshma Ltd,19(3)209--255, May 2001- A. Dovier, C. Piazza, and E. Pontelli.

**Disunification in ACI1 Theories**( Draft)

Constraints (International Journal), 9(1): 35-91; Jan 2004 . - A. Dovier, A. Formisano, and E. Omodeo.

**Decidability Results for Sets with Atoms.**(draft)

In ACM TOCL Vol. 7, No. 2, April 2006, pp. 269-301.- Prolog code of the unification algorithm presented in the paper (updated, June 2nd 2004)

- A. Dovier, E. Pontelli, and G. Rossi.

**Set Unification**(Preliminary Version).

Theory and Practice of Logic Programming 6(6):645-701, 2006. - Agostino Dovier, Carla Piazza, and Gianfranco Rossi.

**A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.**(draft)

ACM TOCL 9(3):15.1-15.30, 2008. - Agostino Dovier.

Set Graphs VI: Logic Programming and Bisimulation. In CILC14. Torino, 16-18 Giugno 2014. CEUR 1195:14-29. - Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Fabio Tardivo.

{CUDA}: Set Constraints on GPUs. Rend. Istit. Mat. Univ. Trieste, an International Journal on Mathematics, vol 53, 2021, art. no. 24, pp.1-27. - Computable Set Theory Blues (by A. Dovier)

Home Page