| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 4 |      | Francesco Ciraulo: A constructive investigation of satisfiability. Ann. Pure Appl. Logic 163(2): 111-121 (2012) |
| 2008 | ||
| 3 | | Francesco Ciraulo: A constructive semantics for non-deducibility. Math. Log. Q. 54(1): 35-48 (2008) |
| 2 | | Francesco Ciraulo, Giovanni Sambin: Finitary formal topologies and Stone's representation theorem. Theor. Comput. Sci. 405(1-2): 11-23 (2008) |
| 2007 | ||
| 1 | | Francesco Ciraulo, Giovanni Sambin: Finiteness in a Minimalist Foundation. TYPES 2007: 51-68 |
| 1 | Giovanni Sambin | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page