| |
| 2009 | ||
|---|---|---|
| 8 | EE | Hannes Diener, Iris Loeb: Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1): 50-61 (2009) |
| 2008 | ||
| 7 | EE | Iris Loeb: Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem. CiE 2008: 379-388 |
| 6 | EE | Herman Geuvers, Iris Loeb: Deduction Graphs with Universal Quantification. Electr. Notes Theor. Comput. Sci. 203(1): 93-108 (2008) |
| 5 | EE | Iris Loeb: Indecomposability of R and R\{0} in Constructive Reverse Mathematics. Logic Journal of the IGPL 16(3): 269-273 (2008) |
| 2007 | ||
| 4 | EE | Herman Geuvers, Iris Loeb: Natural deduction via graphs: formal definition and computation rules. Mathematical Structures in Computer Science 17(3): 485-526 (2007) |
| 2006 | ||
| 3 | EE | Herman Geuvers, Iris Loeb: From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions. MFCS 2006: 39-57 |
| 2005 | ||
| 2 | EE | Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen: An Interactive Algebra Course with Formalised Proofs and Definitions. MKM 2005: 315-329 |
| 1 | EE | Iris Loeb: Equivalents of the (Weak) Fan Theorem. Ann. Pure Appl. Logic 132(1): 51-66 (2005) |
| 1 | Andrea Asperti | [2] |
| 2 | Claudio Sacerdoti Coen | [2] |
| 3 | Hannes Diener | [8] |
| 4 | Herman Geuvers | [2] [3] [4] [6] |
| 5 | Lionel Elie Mamane | [2] |