URSINO, PIETRO
URSINO, PIETRO
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
A generalized small model property for languages wich forces the infinity
2005-01-01 Ursino, Pietro
A tableaux based tool for propositional and MLS-like languages
2008-01-01 Cantone, D.; Ursino, Pietro; Terranova, R.
A unifying approach to computable settheory
1998-01-01 Cantone, Domenico; Ursino, Pietro
An extension to R^k of a result by Fekete and Meijer
2012-01-01 Giarlotta, A.; Ursino, Pietro
Applications of formative processes to the decision problem in set theory
2004-01-01 D., Cantone; Ursino, Pietro
Combinatorial and topologicalaspects of measure preserving homomorphisms
2000-01-01 Giarlotta, Alfio; Pata, Vittorino; Ursino, Pietro
Embeddings on pow N/fin
2003-01-01 Ursino, Pietro
Formative processes with applications to the decision problem in set theory
2002-01-01 D., Cantone; E., Omodeo; Ursino, Pietro
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
2014-01-01 Cantone, D.; Ursino, Pietro
Il ruolo dell'infinito nel primo libro della Scienza della Logica di Georg Friedrich Hegel
2013-01-01 Ursino, Pietro
Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups
2022-01-01 Cacciatori, Sergio; Ursino, Pietro
Notes from the logbook of a proof checker's project
2004-01-01 Cantone, D.; Omodeo, E.; Schwartz, J. T.; Ursino, Pietro
On a generalized notion of differentiability
2006-01-01 D'Asero, S.; Pata, V.; Ursino, Pietro
Rearrangeable Functions on the Real Line
1999-01-01 Pata, Vittorino; Ursino, Pietro
Some remarks on an effcient algorithm to find a centroid in a k-dimensional real space
2016-01-01 Giarlotta, A.; Ursino, P.
Universal minimal flow in the theory of topological groupoids
2020-01-01 Re, R; Ursino, P