Pietro Ursino

Pietro Ursino

Università degli Studi di Catania - Catania / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5277435
University of Catania
person_outline Pietro Ursino's MOST POPULAR ARTICLES
1-) Notes from the logbook of a proof-checker’s projectD Cantone, EG Omodeo, JT Schwartz, P UrsinoVerification: Theory and Practice, 182-207, 2003352003
2-) Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operatorsD Cantone, P Ursino, EG OmodeoInformation and Computation 172 (2), 165-201, 2002232002
3-) An Introduction to the Technique of Formative Processes in Set TheoryD Cantone, P UrsinoSpringer International Publishing, 2018182018
4-) Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicateD Cantone, P UrsinoInformation and Computation 237, 215-242, 2014182014
5-) A generalized small model property for languages which force the infinityP UrsinoarXiv preprint math/0411226, 2004112004