Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Iris Loeb
2010 – today
- 2013
[j9]Iris Loeb: Lipschitz functions in constructive reverse mathematics. Logic Journal of the IGPL 21(1): 28-43 (2013)- 2012
- [j8]Arianna Betti, Iris Loeb: On Tarski's foundations of the geometry of solids. Bulletin of Symbolic Logic 18(2): 230-260 (2012)
- 2010
- [j7]Douglas S. Bridges, Iris Loeb: Glueing continuous functions constructively. Arch. Math. Log. 49(5): 603-616 (2010)
2000 – 2009
- 2009
- [j6]Hannes Diener, Iris Loeb: Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1): 50-61 (2009)
- [j5]Iris Loeb: Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics. Logic Journal of the IGPL 17(2): 173-177 (2009)
- 2008
- [j4]Herman Geuvers, Iris Loeb: Deduction Graphs with Universal Quantification. Electr. Notes Theor. Comput. Sci. 203(1): 93-108 (2008)
- [j3]Iris Loeb: Indecomposability of R and R\{0} in Constructive Reverse Mathematics. Logic Journal of the IGPL 16(3): 269-273 (2008)
- [c3]Iris Loeb: Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem. CiE 2008: 379-388
- 2007
- [j2]Herman Geuvers, Iris Loeb: Natural deduction via graphs: formal definition and computation rules. Mathematical Structures in Computer Science 17(3): 485-526 (2007)
- 2006
- [c2]Herman Geuvers, Iris Loeb: From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions. MFCS 2006: 39-57
- 2005
- [j1]
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-30 21:04 CET by the dblp team