Some results in Computable Set Theory

• 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,
  and the Relevant Unification Algorithms (abstract)
  Fundamenta Informaticae ,36(2/3):201-234, 1998.( draft)
  
• A. Dovier, E. Omodeo, and A. Policriti.
  Solvable set/hyperset contexts:
  II. A goal-driven unification algorithm for the blendedcase ( draft)
  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 LettersVol. 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