URSINO, Pietro

URSINO, Pietro  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.06 secondi).
Titolo Data di pubblicazione Autore(i) File
A generalized small model property for languages wich forces the infinity 1-gen-2005 Ursino, Pietro file da validare
A unifying approach to computable set theory 1-gen-1998 Ursino, Pietro file da validare
An extension to R^k of a result by Fekete and Meijer 1-gen-2012 Giarlotta, Alfio; Ursino, P.; Ursino, Pietro
An Introduction to the Technique of Formative Processes in Set Theory 1-gen-2018 Cantone, Domenico; Ursino, Pietro
Applications of formative processes to the decision problem in set theory 1-gen-2004 Cantone, Domenico; Ursino, P. file da validare
Combinatorial and topological aspects of measure-preserving functions 1-gen-2000 Giarlotta, Alfio; Pata, V; Ursino, P.
CONCENTRATION OF MEASURE FOR CLASSICAL LIE GROUPS 1-gen-2023 Ursino, Pietro; Cacciatori, Sergio
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator 1-gen-2024 Cantone, Domenico; Ursino, Pietro
Embeddings into Pow N / Fin and estension of automorphisms 1-gen-2002 Bella, Angelo; Dow, A.; Hart, K. P.; Hrusak, M.; VAN MILL, J.; Ursino, P. file da validare
Experimental comparison of two tableau-based decision procedures for MLSS 1-gen-2008 Cantone, Domenico; Terranova, R; Ursino, P. file da validare
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators 1-gen-2002 Cantone, Domenico; Omodeo, E. G.; Ursino, P. file da validare
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate 1-gen-2014 Cantone, Domenico; Ursino, P. file da validare
Il ruolo dell'infinito nel primo libro della Scienza della Logica di Georg Friedrich Hegel 1-gen-2013 Ursino, Pietro file da validare
Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups 1-gen-2022 Cacciatori, Sergio; Ursino, Pietro
Notes from the logbook of a proof-checker's project 1-gen-2004 Cantone, D.; Omodeo, E. G.; Schwartz, J. T.; Ursino, P. file da validare
On a generalized notion of differentiability 1-gen-2006 D'Asero, Salvatore; Pata, V; Ursino, P. file da validare
Rearrangeable Functions on the Real Line 1-gen-1999 Ursino, Pietro file da validare
Some Remarks on an Efficient Algorithm to Find a Centroid in a k-Dimensional Real Space 1-gen-2016 Giarlotta, Alfio; Ursino, P.
Transitive Venn with applications to the decision problem in set theory 1-gen-1999 Cantone, D.; Omodeo, E.; Ursino, P. file da validare
Universal minimal flow in the theory of topological groupoids 1-gen-2020 Re, Riccardo; Ursino, Pietro