Sfoglia per Autore
A constructive investigation of satisfiability
2012 Ciraulo, Francesco
A constructive Galois connection between closure and interior
2012 Ciraulo, Francesco; Sambin, Giovanni
Sull'algebra degli insiemi in matematica intuizionista
2011 Ciraulo, Francesco
The overlap algebra of regular opens
2010 Ciraulo, Francesco; Sambin, Giovanni
A class of imprimitive groups
2010 C., Bartolone; Ciraulo, Francesco
Finitary formal topologies and Stone's representation theorem
2008 Ciraulo, Francesco; Sambin, Giovanni
Finiteness in a minimalist foundation
2008 Ciraulo, Francesco; Sambin, Giovanni
A constructive semantics for non-deducibility
2008 Ciraulo, Francesco
Soddisfacibilità costruttiva
2008 Ciraulo, Francesco
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