Helmut Schwichtenberg
发表
Martin Hofmann,
Ulrich Berger,
Klaus Aehlig,
2004,
Theor. Comput. Sci..
Klaus Aehlig,
Helmut Schwichtenberg,
Jan Johannsen,
2001,
Proof Theory in Computer Science.
Helmut Schwichtenberg,
1999,
Theor. Comput. Sci..
Helmut Schwichtenberg,
Josef Berger,
H. Schwichtenberg,
2015,
Log. Methods Comput. Sci..
Helmut Schwichtenberg,
1989
.
Ulrich Berger,
Helmut Schwichtenberg,
H. Schwichtenberg,
2001,
NATO ASI Series.
Helmut Schwichtenberg,
Ulrich Berger,
Matthias Eberl,
1998,
Prospects for Hardware Foundations.
Helmut Schwichtenberg,
H. Schwichtenberg,
1999,
Handbook of Computability Theory.
Helmut Schwichtenberg,
2004,
AISC.
Ulrich Berger,
Helmut Schwichtenberg,
H. Schwichtenberg,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Helmut Schwichtenberg,
1987,
Computation Theory and Logic.
Helmut Schwichtenberg,
2008,
Math. Log. Q..
Helmut Schwichtenberg,
1988
.
Helmut Schwichtenberg,
2006,
Theor. Comput. Sci..
Helmut Schwichtenberg,
H. Schwichtenberg,
2008,
Theory of Computing Systems.
Helmut Schwichtenberg,
2002
.
Helmut Schwichtenberg,
1999,
Stud Logica.
Helmut Schwichtenberg,
2000
.
Helmut Schwichtenberg,
1991,
CSL.
Ulrich Berger,
Helmut Schwichtenberg,
Matthias Eberl,
2003,
Inf. Comput..
Klaus Aehlig,
Helmut Schwichtenberg,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Helmut Schwichtenberg,
1998,
Ann. Pure Appl. Log..
Helmut Schwichtenberg,
A. S. Troelstra,
2000
.
Kenji Miyamoto,
Helmut Schwichtenberg,
Hideki Tsuiki,
2016
.
Helmut Schwichtenberg,
H. Schwichtenberg,
2007
.
Helmut Schwichtenberg,
Stanley S. Wainer,
S. Wainer,
2012,
Perspectives in logic.
Helmut Schwichtenberg,
Ulrich Berger,
H. Schwichtenberg,
1995
.
Ulrich Berger,
Helmut Schwichtenberg,
Wilfried Buchholz,
2003
.
Klaus Aehlig,
Helmut Schwichtenberg,
2002,
TOCL.
Kenji Miyamoto,
Ulrich Berger,
Monika Seisenberger,
2011,
CALCO.
Peter Clote,
Helmut Schwichtenberg,
P. Clote,
2000
.
Helmut Schwichtenberg,
Jaco van de Pol,
H. Schwichtenberg,
1995,
TLCA.
Helmut Schwichtenberg,
Hajime Ishihara,
2016,
Math. Log. Q..
Helmut Schwichtenberg,
2005,
J. Univers. Comput. Sci..
Ulrich Berger,
Helmut Schwichtenberg,
1995,
TYPES.
Ulrich Berger,
Stefan Berghofer,
Helmut Schwichtenberg,
2006,
Stud Logica.
Ulrich Berger,
Helmut Schwichtenberg,
H. Schwichtenberg,
1994,
LCC.
Helmut Schwichtenberg,
Karl-Heinz Niggl,
Stephen J. Bellantoni,
2000,
Ann. Pure Appl. Log..
Ulrich Berger,
Monika Seisenberger,
Helmut Schwichtenberg,
2004,
Journal of Automated Reasoning.
Helmut Schwichtenberg,
Ulrich Berger,
Wilfried Buchholz,
2002,
Ann. Pure Appl. Log..
Helmut Schwichtenberg,
A. S. Troelstra,
A. Troelstra,
1996,
Cambridge tracts in theoretical computer science.
Helmut Schwichtenberg,
H. Schwichtenberg,
1979,
Journal of Symbolic Logic.
Helmut Schwichtenberg,
1995
.
Helmut Schwichtenberg,
Peter Schuster,
Hannes Leitgeb,
2016,
FLAP.
Helmut Schwichtenberg,
A. S. Troelstra,
2000
.
Helmut Schwichtenberg,
H. Schwichtenberg,
2006,
CiE.
Helmut Schwichtenberg,
2007,
Bulletin of Symbolic Logic.
Peter Clote,
Helmut Schwichtenberg,
2000
.
Helmut Schwichtenberg,
Christoph Senjak,
H. Schwichtenberg,
1991,
Ann. Pure Appl. Log..
Helmut Schwichtenberg,
Katharina Spies,
2006
.
Helmut Schwichtenberg,
H. Schwichtenberg,
1993
.
Helmut Schwichtenberg,
Klaus Mainzer,
Peter Schuster,
2018
.
Helmut Schwichtenberg,
H. Schwichtenberg,
1997,
NATO ASI Series.
Peter Clote,
Helmut Schwichtenberg,
2001,
Lecture Notes in Computer Science.
Helmut Schwichtenberg,
H. Schwichtenberg,
Helmut Schwichtenberg,
1975,
Archive for Mathematical Logic.
Helmut Schwichtenberg,
H. Schwichtenberg,
1991,
Arch. Math. Log..
Kenji Miyamoto,
Helmut Schwichtenberg,
Fredrik Nordvall Forsberg,
2013,
ITP.
Helmut Schwichtenberg,
A. S. Troelstra,
2000
.
Helmut Schwichtenberg,
Klaus Mainzer,
Peter Schuster,
2021
.
Helmut Schwichtenberg,
Franziskus Wiesnet,
2021,
Log. Methods Comput. Sci..
Helmut Schwichtenberg,
1999
.
Helmut Schwichtenberg,
Stephen J. Bellantoni,
2002
.
Monika Seisenberger,
Helmut Schwichtenberg,
Franziskus Wiesnet,
2016
.
Helmut Schwichtenberg,
H. Schwichtenberg,
1986
.
Helmut Schwichtenberg,
Stanley S. Wainer,
1975
.
Helmut Schwichtenberg,
Friedrich Ludwig Bauer,
W. Brauer,
1993,
NATO ASI Series.
Helmut Schwichtenberg,
Anne Sjerp Troelstra,
A. Troelstra,
2000
.
Helmut Schwichtenberg,
Karl Stroetmann,
H. Schwichtenberg,
1997
.
Helmut Schwichtenberg,
H. Schwichtenberg,
LemmaUlrich,
1997
.
Helmut Schwichtenberg,
Stanley S. Wainer,
S. Wainer,
1995
.
Helmut Schwichtenberg,
Holger Benl,
1999
.
Helmut Schwichtenberg,
Stanley S. Wainer,
2012
.
Helmut Schwichtenberg,
H. Schwichtenberg,
1997
.
Helmut Schwichtenberg,
Randy Pollack,
Masahiko Sato,
2013
.
Simon Huber,
Helmut Schwichtenberg,
Dana S. Scott,
2010
.
Peter Clote,
Helmut Schwichtenberg,
Wilfried Buchholz,
1998
.
Helmut Schwichtenberg,
Stanley S. Wainer,
2011
.
Helmut Schwichtenberg,
1979
.
Helmut Schwichtenberg,
Diana Ratiu,
H. Schwichtenberg,
2009
.
Helmut Schwichtenberg,
H. Schwichtenberg,
1975
.