Sfoglia per Autore
A unifying approach to computable set theory
file da validare1998-01-01 Ursino, Pietro
Rearrangeable Functions on the Real Line
file da validare1999-01-01 Ursino, Pietro
Transitive Venn with applications to the decision problem in set theory
file da validare1999-01-01 Cantone, D.; Omodeo, E.; Ursino, P.
Combinatorial and topological aspects of measure-preserving functions
2000-01-01 Giarlotta, Alfio; Pata, V; Ursino, P.
Embeddings into Pow N / Fin and estension of automorphisms
file da validare2002-01-01 Bella, Angelo; Dow, A.; Hart, K. P.; Hrusak, M.; VAN MILL, J.; Ursino, P.
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators
file da validare2002-01-01 Cantone, Domenico; Omodeo, E. G.; Ursino, P.
Notes from the logbook of a proof-checker's project
file da validare2004-01-01 Cantone, D.; Omodeo, E. G.; Schwartz, J. T.; Ursino, P.
Applications of formative processes to the decision problem in set theory
file da validare2004-01-01 Cantone, Domenico; Ursino, P.
A generalized small model property for languages wich forces the infinity
file da validare2005-01-01 Ursino, Pietro
On a generalized notion of differentiability
file da validare2006-01-01 D'Asero, Salvatore; Pata, V; Ursino, P.
Experimental comparison of two tableau-based decision procedures for MLSS
file da validare2008-01-01 Cantone, Domenico; Terranova, R; Ursino, P.
An extension to R^k of a result by Fekete and Meijer
2012-01-01 Giarlotta, Alfio; Ursino, P.; Ursino, Pietro
Il ruolo dell'infinito nel primo libro della Scienza della Logica di Georg Friedrich Hegel
file da validare2013-01-01 Ursino, Pietro
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
file da validare2014-01-01 Cantone, Domenico; Ursino, P.
Some Remarks on an Efficient Algorithm to Find a Centroid in a k-Dimensional Real Space
2016-01-01 Giarlotta, Alfio; Ursino, P.
An Introduction to the Technique of Formative Processes in Set Theory
2018-01-01 Cantone, Domenico; Ursino, Pietro
Universal minimal flow in the theory of topological groupoids
2020-01-01 Re, Riccardo; Ursino, Pietro
Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups
2022-01-01 Cacciatori, Sergio; Ursino, Pietro
CONCENTRATION OF MEASURE FOR CLASSICAL LIE GROUPS
2023-01-01 Ursino, Pietro; Cacciatori, Sergio
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator
2024-01-01 Cantone, Domenico; Ursino, Pietro
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile