Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Iris Loeb

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/Loeb17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/Loeb17
Iris Loeb:
The role of universal language in the early work of Carnap and Tarski. Synth. 194(1): 15-31 (2017)
2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/Loeb14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/Loeb14
Iris Loeb:
Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff. Synth. 191(10): 2281-2299 (2014)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/Loeb14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/Loeb14a
Iris Loeb:
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics. Synth. 191(12): 2815-2833 (2014)
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Loeb13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Loeb13
Iris Loeb:
Lipschitz functions in constructive reverse mathematics. Log. J. IGPL 21(1): 28-43 (2013)
2012
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/BettiL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/BettiL12
Arianna Betti, Iris Loeb:
On Tarski's foundations of the geometry of solids. Bull. Symb. Log. 18(2): 230-260 (2012)
2011
[j7]
- view
  - electronic edition @ logicandanalysis.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jla/DienerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jla/DienerL11
Hannes Diener, Iris Loeb:
Constructive reverse investigations into differential equations. J. Log. Anal. 3 (2011)
2010
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/BridgesL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/BridgesL10
Douglas S. Bridges, Iris Loeb:
Glueing continuous functions constructively. Arch. Math. Log. 49(5): 603-616 (2010)
2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DienerL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DienerL09
Hannes Diener, Iris Loeb:
Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Log. 157(1): 50-61 (2009)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Loeb09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Loeb09
Iris Loeb:
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics. Log. J. IGPL 17(2): 173-177 (2009)
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Loeb08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Loeb08
Iris Loeb:
Indecomposability of R and R\{0} in Constructive Reverse Mathematics. Log. J. IGPL 16(3): 269-273 (2008)
2007
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GeuversL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GeuversL07
Herman Geuvers, Iris Loeb:
Natural deduction via graphs: formal definition and computation rules. Math. Struct. Comput. Sci. 17(3): 485-526 (2007)
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Loeb05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Loeb05
Iris Loeb:
Equivalents of the (Weak) Fan Theorem. Ann. Pure Appl. Log. 132(1): 51-66 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/Loeb08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/Loeb08
Iris Loeb:
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem. CiE 2008: 379-388
2007
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GeuversL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GeuversL08
Herman Geuvers, Iris Loeb:
Deduction Graphs with Universal Quantification. TERMGRAPH@ETAPS 2007: 93-108
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/GeuversL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/GeuversL06
Herman Geuvers, Iris Loeb:
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions. MFCS 2006: 39-57
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AspertiGLMC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AspertiGLMC05
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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.