All Elements

- 2018
- [BK+18] Bacak M. et al.
- [Koh18] Kohlenbach U.
- [Koh18b] Kohlenbach U.
- [KLN+18] Kohlenbach U. et al.

- 2017
- [KN+17] Kohlenbach U. et al.
- [KLN+17] Kohlenbach U. et al.
- [Koh17] Kohlenbach U.
- [Str17] Streicher T.

- 2016
- [ES+16] Escardó M. et al.
- [GK+16] Günzel D. et al.
- [Koh16] Kohlenbach U.
- [KK+16] Koutsoukou-Argyraki A. et al.

- 2015
- [FK+15] Fujiwara M. et al.
- [GO+15] Grohe M. et al.
- [Koh15] Kohlenbach U.
- [KK+15] Koutsoukou-Argyraki A. et al.
- [MS+15] Maschio S. et al.
- [Ott15] Otto M.

- 2014
- [ABS+14] Awodey S. et al.
- [BGO+14] Barany V. et al.
- [BKS+14] Battenfeld I. et al.
- [BOW+14] Blumensath A. et al.
- [GO+14] Grädel E. et al.
- [Gre14] Gregoriades V.
- [Gre14b] Gregoriades V.
- [KK+14] Körnlein D. et al.
- [KSZ+14] Kawamura A. et al.
- [KOR+14] Kawamura A. et al.
- [KK+14b] Khan M.A.A. et al.
- [KL+14] Kohlenbach U. et al.
- [KS+14] Kohlenbach U. et al.
- [MZ+14] Müller N. et al.

- 2013
- [ABZ+13] Ambos-Spies K. et al.
- [FKM+13] Fedel M. et al.
- [Gas13] Gaspar J.
- [HK+13] Heckmann R. et al.
- [HSZ+13] Herrmann C. et al.
- [Kei13] Keimel K.
- [KK+13] Khan M.A.A. et al.
- [Ott13] Otto M.
- [Ott13b] Otto M.
- [Ott13c] Otto M.
- [PZ+13] Pauly A. et al.
- [Str13] Streicher T.

- 2012
- [BCO+12] Barany V. et al.
- [BCO+12b] Barany V. et al.
- [BBS+12] Berg (van den) B. et al.
- [Gre12] Gregoriades V.
- [GO+12] Grohe M. et al.
- [KOR+12] Kawamura A. et al.
- [KL+12] Keimel K. et al.
- [Kei12] Keimel K.
- [Kei12b] Keimel K.
- [KO+12] Kieronski E. et al.
- [Koh12] Kohlenbach U.
- [KL+12b] Kohlenbach U. et al.
- [Koh12b] Kohlenbach U.
- [KL+12c] Kohlenbach U. et al.
- [Kre12] Kreuzer A.P.
- [Kre12b] Kreuzer A.P.
- [Kre12c] Kreuzer A.P.
- [Kre12d] Kreuzer A.P.
- [KK+12] Kreuzer A. et al.
- [LS+12] Lietz P. et al.
- [Ott12] Otto M.
- [Ott12b] Otto M.
- [RS+12] Reus B. et al.
- [Saf12] Safarik P.
- [SK+12] Schade K. et al.
- [SS+12] Simpson A. et al.
- [Zie12] Ziegler M.

- 2011
- [GZ+11] Gärtner T. et al.
- [GK+11] Goubault-Larrecq J. et al.
- [Gre11] Gregoriades V.
- [HZ+11] Herrmann C. et al.
- [HK+11] Hofmann K.H. et al.
- [KK+11] Körnlein D. et al.
- [KRS+11] Keimel K. et al.
- [Koh11] Kohlenbach U.
- [Koh11b] Kohlenbach U.
- [Koh11c] Kohlenbach U.
- [Koh11d] Kohlenbach U.
- [Kre11] Kreuzer A.P.
- [Ott11] Otto M.
- [RS+11] Reus B. et al.

- 2010
- [BGO+10] Barany V. et al.
- [Bri10] Briseid E.M.
- [GK+10] Gaspar J. et al.
- [Kar10] Kartzow A.
- [KL+10] Kohlenbach U. et al.
- [Koh10] Kohlenbach U.
- [Ott10] Otto M.
- [SK+10] Safarik P. et al.

- 2009
- [BOW+09] Blumensath A. et al.
- [Bri09] Briseid E.M.
- [DO+09] Dawar A. et al.
- [Kar09] Kartzow A.
- [KL+09] Keimel K. et al.
- [KRS+09] Keimel K. et al.
- [Kei09] Keimel K.
- [Kei09b] Keimel K.
- [Kei09c] Keimel K.
- [KL+09b] Keimel K. et al.
- [KP+09] Keimel K. et al.
- [KL+09c] Kohlenbach U. et al.
- [KK+09] Kreuzer A. et al.
- [Ott09] Otto M.
- [Str09] Streicher T.
- [TKP+09] Tix R. et al.

- 2008
- [Blu08] Blumensath A.
- [Blu08b] Blumensath A.
- [Bri08] Briseid E.M.
- [GK+08] Gerhardy P. et al.
- [Kei08] Keimel K.
- [Kei08b] Keimel K.
- [Koh08] Kohlenbach U.
- [Koh08b] Kohlenbach U.
- [Koh08c] Kohlenbach U.
- [Koh08d] Kohlenbach U.
- [Koh08e] Kohlenbach U.
- [OS+08] Oliva P. et al.
- [OP+08] Otto M. et al.

- 2007
- [ABS+07] Awodey S. et al.
- [BCL+07] Blumensath A. et al.
- [Bri07] Briseid E.M.
- [Bri07b] Briseid E.M.
- [Bri07c] Briseid E.M.
- [KL+07] Kohlenbach U. et al.
- [Koh07] Kohlenbach U.
- [KOS+07] Kreutzer S. et al.
- [Leu07] Leuştean L.
- [Leu07b] Leuştean L.
- [SK+07] Streicher T. et al.

- 2006
- [AK+06] Abbes S. et al.
- [Blu06] Blumensath A.
- [BC+06] Blumensath A. et al.
- [CEK+06] Cohen B. et al.
- [Ger06] Gerhardy P.
- [GK+06] Gerhardy P. et al.
- [GO+06] Goranko V. et al.
- [GS+06] Gruenhage G. et al.
- [HOS+06] Hofmann M. et al.
- [Kei06] Keimel K.
- [Koh06] Kohlenbach U.
- [KL+06] Kohlenbach U. et al.
- [LS+06] Löw T. et al.
- [Leu06] Leuştean L.
- [Leu06b] Leuştean L.
- [Ott06] Otto M.
- [Ott06b] Otto M.
- [Str06] Streicher T.

- 2005
- [BK+05] Blumensath A. et al.
- [DO+05] Dawar A. et al.
- [GLP+05] Georgescu G. et al.
- [GK+05] Gerhardy P. et al.
- [GK+05b] Gerhardy P. et al.
- [Ger05] Gerhardy P.
- [HK+05] Hernest M.D. et al.
- [KL+05] Keimel K. et al.
- [KO+05] Kieronski E. et al.
- [KL+05b] Kohlenbach U. et al.
- [Koh05] Kohlenbach U.
- [Koh05b] Kohlenbach U.
- [Koh05c] Kohlenbach U.
- [Koh05d] Kohlenbach U.
- [Koh05e] Kohlenbach U.
- [Leu05] Leuştean L.
- [RS+05] Reus B. et al.
- [Str05] Streicher T.
- [Wil05] Wille A.M.

- 2004
- [ABH+04] Akama Y. et al.
- [AJK+04] Alvarez Manilla M. et al.
- [BL+04] Barbălată C. et al.
- [Blu04] Blumensath A.
- [BG+04] Blumensath A. et al.
- [BFJ+04] Bunge M. et al.
- [Bur04] Burmeister P.
- [Bur04b] Burmeister P.
- [EHS+04] Escardó M. et al.
- [KL+04] Keimel K. et al.
- [Kei04] Keimel K.
- [KL+04b] Kohlenbach U. et al.
- [Leu04] Leuştean L.
- [Ott04] Otto M.
- [Ott04b] Otto M.
- [RS+04] Reus B. et al.
- [Wil04] Wille A.M.

- 2003
- [BS+03] Bénabou J. et al.
- [Blu03] Blumensath A.
- [Blu03b] Blumensath A.
- [DL+03] Di Nola A. et al.
- [Ger03] Gerhardy P.
- [Ger03b] Gerhardy P.
- [GHK+03] Gierz G. et al.
- [HO+03] Hodkinson I. et al.
- [KL+03] Kohlenbach U. et al.
- [KO+03] Kohlenbach U. et al.
- [KO+03b] Kohlenbach U. et al.
- [Koh03] Kohlenbach U.
- [LR+03] Leuştean L. et al.
- [Leu03] Leuştean L.
- [RPW+03] Roşu G. et al.

- 2002
- [BB+02] Berwanger D. et al.
- [BB+02b] Berwanger D. et al.
- [BG+02] Blumensath A. et al.
- [BFJ+02] Bunge M. et al.
- [ES+02] Escardó M. et al.
- [GL+02] Georgescu G. et al.
- [GHO+02] Grädel E. et al.
- [HS+02] Hofmann M. et al.
- [Koh02] Kohlenbach U.
- [Koh02b] Kohlenbach U.
- [Koh02c] Kohlenbach U.
- [Koh02d] Kohlenbach U.
- [Leu02] Leuştean L.
- [Leu02b] Leuştean L.
- [LS+02] Lietz P. et al.
- [Ott02] Otto M.

- 2001
- [Blu01] Blumensath A.
- [Koh01] Kohlenbach U.
- [Koh01b] Kohlenbach U.
- [Koh01c] Kohlenbach U.
- [Koh01d] Kohlenbach U.
- [Leu01] Leuştean L.
- [NOT+01] Neven F. et al.
- [Ott01] Otto M.

- 2000
- [BL+00] Barbălată C. et al.
- [BG+00] Blumensath A. et al.
- [Blu00] Blumensath A.
- [BFJ+00] Bunge M. et al.
- [DGL+00] Di Nola A. et al.
- [GHO+00] Grädel E. et al.
- [HJK+00] Huth M. et al.
- [Koh00] Kohlenbach U.
- [Leu00] Leuştean L.
- [Ott00] Otto M.
- [Ott00b] Otto M.
- [PL+00] Pribeanu C. et al.

- 1999
- [Blu99] Blumensath A.
- [ES+99] Escardó M. et al.
- [GO+99] Grädel E. et al.
- [GOR+99] Grädel E. et al.
- [HMO+99] Hoogland E. et al.
- [KL+99] Keimel K. et al.
- [Koh99] Kohlenbach U.
- [Koh99b] Kohlenbach U.
- [Koh99c] Kohlenbach U.
- [MRS+99] Marz M. et al.
- [NOT+99] Neven F. et al.
- [Ott99] Otto M.
- [Ott99b] Otto M.
- [Ott99c] Otto M.
- [RS+99] Reus B. et al.
- [Str99] Streicher T.
- [Str99b] Streicher T.

- 1998
- [EEK+98] Erker T. et al.
- [HS+98] Hofmann M. et al.
- [Kei98] Keimel K.
- [Koh98] Kohlenbach U.
- [Koh98b] Kohlenbach U.
- [Koh98c] Kohlenbach U.
- [Koh98d] Kohlenbach U.
- [Koh98e] Kohlenbach U.
- [KO+98] Kolaitis P. et al.
- [RS+98] Reus B. et al.

- 1997
- [Ott97] Otto M.
- [Ott97b] Otto M.
- [Ott97c] Otto M.
- [Ott97d] Otto M.
- [RS+97] Reus B. et al.

- 1996
- [AHS+96] Altenkirch T. et al.
- [Koh96] Kohlenbach U.
- [Koh96b] Kohlenbach U.
- [OV+96] Otto M. et al.
- [Ott96] Otto M.

- 1995
- [AHS+95] Altenkirch T. et al.
- [Kei95] Keimel K.
- [Koh95] Kohlenbach U.
- [Ott95] Otto M.
- [Ott95b] Otto M.

- 1994
- [MSL+94] Mück A. et al.
- [Ott94] Otto M.
- [Str94] Streicher T.

- 1993
- [Koh93] Kohlenbach U.
- [Koh93b] Kohlenbach U.

- 1992
- [BS+92] Broy M. et al.
- [KR+92] Keimel K. et al.
- [Koh92] Kohlenbach U.
- [Koh92b] Kohlenbach U.
- [Koh92c] Kohlenbach U.
- [Ott92] Otto M.
- [Ott92b] Otto M.
- [Str92] Streicher T.
- [Str92b] Streicher T.

- 1991
- [BS+91] Broy M. et al.
- [JMS+91] Jacobs B. et al.
- [Str91] Streicher T.

- 1989
- [Str89] Streicher T.

- 1987
- [BS+87] Broy M. et al.
- [Ott87] Otto M.

Valid HTML 4.01!Valid CSS!