Sfoglia per Autore  URSINO, PIETRO

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