We stand with Ukraine  

Iris Loeb

Affiliations:
  • Vrije Universiteit Amsterdam, The Netherlands
  • University of Canterbury, Christchurch, New Zealand


According to our database1, Iris Loeb authored at least 16 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
The role of universal language in the early work of Carnap and Tarski.
[BibTeX]
[DOI]
Iris Loeb
Synth., 2017

2014
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics.
[BibTeX]
[DOI]
Iris Loeb
Synth., 2014

Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff.
[BibTeX]
[DOI]
Iris Loeb
Synth., 2014

2013
Lipschitz functions in constructive reverse mathematics.
[BibTeX]
[DOI]
Iris Loeb
Log. J. IGPL, 2013

2012
On Tarski's foundations of the geometry of solids.
[BibTeX]
[DOI]
Arianna Betti
,
Iris Loeb
Bull. Symb. Log., 2012

2011
Constructive reverse investigations into differential equations.
[BibTeX]
[DOI]
Hannes Diener
,
Iris Loeb
J. Log. Anal., 2011

2010
Glueing continuous functions constructively.
[BibTeX]
[DOI]
Douglas S. Bridges
,
Iris Loeb
Arch. Math. Log., 2010

2009
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics.
[BibTeX]
[DOI]
Iris Loeb
Log. J. IGPL, 2009

Sequences of real functions on [0, 1] in constructive reverse mathematics.
[BibTeX]
[DOI]
Hannes Diener
,
Iris Loeb
Ann. Pure Appl. Log., 2009

2008
Indecomposability of R and R\{0} in Constructive Reverse Mathematics.
[BibTeX]
[DOI]
Iris Loeb
Log. J. IGPL, 2008

Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.
[BibTeX]
[DOI]
Iris Loeb
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Natural deduction via graphs: formal definition and computation rules.
[BibTeX]
[DOI]
Herman Geuvers
,
Iris Loeb
Math. Struct. Comput. Sci., 2007

Deduction Graphs with Universal Quantification.
[BibTeX]
[DOI]
Herman Geuvers
,
Iris Loeb
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

2006
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.
[BibTeX]
[DOI]
Herman Geuvers
,
Iris Loeb
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

2005
Equivalents of the (Weak) Fan Theorem.
[BibTeX]
[DOI]
Iris Loeb
Ann. Pure Appl. Log., 2005

An Interactive Algebra Course with Formalised Proofs and Definitions.
[BibTeX]
[DOI]
Andrea Asperti
,
Herman Geuvers
,
Iris Loeb
,
Lionel Elie Mamane
,
Claudio Sacerdoti Coen
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005


  Loading...