CIRAULO, FRANCESCO

CIRAULO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
$sigma$-locales in Formal Topology 2022 Ciraulo, Francesco LOGICAL METHODS IN COMPUTER SCIENCE - -
A class of imprimitive groups 2010 CIRAULO, FRANCESCO + ALGEBRA COLLOQUIUM - -
A constructive Galois connection between closure and interior 2012 CIRAULO, FRANCESCOSAMBIN, GIOVANNI THE JOURNAL OF SYMBOLIC LOGIC - -
A constructive investigation of satisfiability 2012 CIRAULO, FRANCESCO ANNALS OF PURE AND APPLIED LOGIC - -
A constructive semantics for non-deducibility 2008 CIRAULO, FRANCESCO MATHEMATICAL LOGIC QUARTERLY - -
Cavalieri e furfanti? Basta un'equazione! 2017 FRANCESCO CIRAULOSAMUELE MASCHIO PERIODICO DI MATEMATICHE - -
Constructive version of Boolean algebra 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIA + LOGIC JOURNAL OF THE IGPL - -
Convergence in formal topology: a unifying notion 2013 CIRAULO, FRANCESCOMAIETTI, MARIA EMILIASAMBIN, GIOVANNI JOURNAL OF LOGIC AND ANALYSIS - -
Eating Pizza to learn fractions 2018 Gaggi, OmbrettaCiraulo, Francesco + - ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES ACM International Conference Proceeding Series
Educare al pensiero razionale nella scuola primaria: una proposta didattica 2019 Francesco Ciraulo + L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Embedding locales and formal topologies into positive topologies 2018 Ciraulo, FrancescoSambin, Giovanni ARCHIVE FOR MATHEMATICAL LOGIC - -
Evoluzioni sul trapezio. Dialogo sulla sua natura e importanza. 2022 Ciraulo FrancescoMaschio Samuele L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Factorizing the Top-Loc adjunction through positive topologies 2021 Ciraulo FrancescoMaschio Samuele + ARCHIVE FOR MATHEMATICAL LOGIC - -
Finitary formal topologies and Stone's representation theorem 2008 CIRAULO, FRANCESCOSAMBIN, GIOVANNI THEORETICAL COMPUTER SCIENCE - -
Finiteness in a minimalist foundation 2008 CIRAULO, FRANCESCOSAMBIN, GIOVANNI - LECTURE NOTES IN COMPUTER SCIENCE Types for Proofs and Programs
Geometria fra immagini, immaginazione e... "magia"! 2018 Francesco Ciraulo L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Il paper-folding in un’esperienza didattica nella Scuola secondaria di II grado 2022 Francesco Ciraulo + L'INSEGNAMENTO DELLA MATEMATICA E DELLE SCIENZE INTEGRATE - -
Intuitionistic overlap structures 2013 CIRAULO, FRANCESCO LOGIC AND LOGICAL PHILOSOPHY - -
Lindenbaum’s Lemma via Open Induction 2016 CIRAULO, FRANCESCO + - PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC Advances in Proof Theory
Overlap Algebras as Almost Discrete Locales 2023 Ciraulo, Francesco LOGICAL METHODS IN COMPUTER SCIENCE - -