CURI, GIOVANNI

CURI, GIOVANNI  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
On Tarski’s fixed point theorem 2015 CURI, GIOVANNI PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY - -
Topological inductive definitions 2012 CURI, GIOVANNI ANNALS OF PURE AND APPLIED LOGIC - -
On some peculiar aspects of the constructive theory of point-free spaces. 2010 CURI, GIOVANNI MATHEMATICAL LOGIC QUARTERLY - -
On the existence of Stone-Čech compactification. 2010 CURI, GIOVANNI THE JOURNAL OF SYMBOLIC LOGIC - -
On the T1 axiom and other separation properties in constructive point-free and point-set topology 2010 CURI, GIOVANNI + ANNALS OF PURE AND APPLIED LOGIC - -
Remarks on the Stone-Čech and Alexandroff compactifications of locales 2008 CURI, GIOVANNI JOURNAL OF PURE AND APPLIED ALGEBRA - -
Exact approximations to Stone-Čech compactification. 2007 CURI, GIOVANNI ANNALS OF PURE AND APPLIED LOGIC - -
On the collection of points of a formal space 2006 CURI, GIOVANNI ANNALS OF PURE AND APPLIED LOGIC - -
Geometria delle osservazioni. Alcuni contributi alla topologia senza punti 2005 CURI, GIOVANNI BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. A - -
Constructive metrisability in point-free topology 2003 CURI, GIOVANNI THEORETICAL COMPUTER SCIENCE - -