Concentration of measure for classical Lie groups von Cacciatori, Sergio L., Ursino, Pietro

Volltext

Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups von Cacciatori, Sergio, Ursino, Pietro

Volltext

Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator von Cantone, Domenico, Ursino, Pietro

Volltext

Universal minimal flow in the theory of topological groupoids von Re, Riccardo, Ursino, Pietro

Volltext

Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate von Cantone, Domenico, Ursino, Pietro

Volltext

A generalized small model property for languages which force the infinity von Pietro Ursino

Volltext

Some remarks on an efficient algorithm to find a centroid in a k-dimensional real space von Giarlotta, Alfio, Ursino, Pietro

Volltext

Decidability and NP-completeness for some languages which extend Boolean Set Theory von Ursino, Pietro

Volltext bestellen

A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product von Ursino, Pietro

Volltext bestellen

Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator von Cantone, Domenico, Ursino, Pietro

Volltext bestellen

Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product von Cantone, Domenico, Ursino, Pietro

Volltext bestellen

Macdonald formula, Ricci Curvature, and Concentration Locus for classical compact Lie groups von Cacciatori, Sergio L, Ursino, Pietro

Volltext bestellen

Decidability and NP-completeness for some languages which extend Boolean Set Theory von Ursino, Pietro

Volltext

Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator von Cantone, Domenico, Ursino, Pietro

Volltext

A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product von Ursino, Pietro

Volltext

Two Dichotomy Theorems von Cantone, Domenico, Ursino, Pietro

Volltext bestellen

Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product von Cantone, Domenico, Ursino, Pietro

Volltext

Universal Minimal Flow in the Theory of Topological Groupoids von Re, Riccardo, Ursino, Pietro

Volltext bestellen

Macdonald formula, Ricci Curvature, and Concentration Locus for classical compact Lie groups von Cacciatori, Sergio L, Ursino, Pietro

Volltext

Notes from the logbook of a proof-checker's project von CANTONE, Domenico, OMODEO, Eugenio G, SCHWARTZ, Jacob T, URSINO, Pietro

Volltext