Pietro Ursino

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 2

Top Topics

Cartesian Product

Mathematical Morphology

Satisfiability Problem

Top Venues

ACM Trans. Comput. Log.

Publications

Domenico Cantone, Pietro Ursino
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ACM Trans. Comput. Log. 25 (1) (2024)
Sergio Cacciatori, Pietro Ursino
Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups. Axioms 11 (6) (2022)
Domenico Cantone, Pietro Ursino
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate. Inf. Comput. 237 (2014)
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
Notes from the Logbook of a Proof-Checker's Project. Verification: Theory and Practice (2003)
Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo
Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput. 172 (2) (2002)
Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino
Transitive Venn diagrams with applications to the decision problem in set theory. APPIA-GULP-PRODE (1999)