Pietro Ursino

According to our database, Pietro Ursino authored at least 7 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator.

Domenico Cantone, Pietro Ursino

ACM Trans. Comput. Log., January, 2024

2022

Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups.

Sergio Cacciatori, Pietro Ursino

Axioms, 2022

2018

An Introduction to the Technique of Formative Processes in Set Theory

Domenico Cantone, Pietro Ursino

Springer, ISBN: 978-3-319-74777-4, 2018

2014

Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate.

Domenico Cantone, Pietro Ursino

Inf. Comput., 2014

2003

Notes from the Logbook of a Proof-Checker's Project.

Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino

Proceedings of the Verification: Theory and Practice, 2003

2002

Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators.

Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo

Inf. Comput., 2002

1999

Transitive Venn diagrams with applications to the decision problem in set theory.

Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999