 | 2010 |
|---|
| 10 |       | Douglas S. Bridges,
Iris Loeb:
Glueing continuous functions constructively.
Arch. Math. Log. 49(5): 603-616 (2010) |
| 2009 |
|---|
| 9 | | Hannes Diener,
Iris Loeb:
Sequences of real functions on [0, 1] in constructive reverse mathematics.
Ann. Pure Appl. Logic 157(1): 50-61 (2009) |
| 8 | | Iris Loeb:
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics.
Logic Journal of the IGPL 17(2): 173-177 (2009) |
| 2008 |
|---|
| 7 | | Iris Loeb:
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.
CiE 2008: 379-388 |
| 6 | | Herman Geuvers,
Iris Loeb:
Deduction Graphs with Universal Quantification.
Electr. Notes Theor. Comput. Sci. 203(1): 93-108 (2008) |
| 5 | | Iris Loeb:
Indecomposability of R and R\{0} in Constructive Reverse Mathematics.
Logic Journal of the IGPL 16(3): 269-273 (2008) |
| 2007 |
|---|
| 4 | | 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 | | 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 | | 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 | | Iris Loeb:
Equivalents of the (Weak) Fan Theorem.
Ann. Pure Appl. Logic 132(1): 51-66 (2005) |
Data released under the ODC-BY 1.0 license — See also our legal information page