Martín Hötzel Escardó
发表
Abbas Edalat,
Martín Hötzel Escardó,
2000,
Inf. Comput..
Martín Hötzel Escardó,
Peter LeFanu Lumsdaine,
Auke Bart Booij,
2016,
TYPES.
Martín Hötzel Escardó,
M. Escardó,
1997
.
Martín Hötzel Escardó,
M. Escardó,
1993,
SIGA.
Ulrich Berger,
Klaus Keimel,
Martín Hötzel Escardó,
2015,
J. Log. Algebraic Methods Program..
Martín Hötzel Escardó,
Cory M. Knapp,
M. Escardó,
2017,
CSL.
Lars Birkedal,
Martín Hötzel Escardó,
Giuseppe Rosolini,
2004,
Theor. Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
1999,
MFPS.
Martín Hötzel Escardó,
Achim Jung,
Thomas Streicher,
2007,
Math. Struct. Comput. Sci..
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
2016,
Ann. Pure Appl. Log..
Martín Hötzel Escardó,
Paulo Oliva,
2012,
Ann. Pure Appl. Log..
Guest editors' introduction: Special issue on practical development of exact real number computation
Martín Hötzel Escardó,
Norbert Th. Müller,
Paul Zimmermann,
2005,
J. Log. Algebraic Methods Program..
Abbas Edalat,
Martín Hötzel Escardó,
Peter John Potts,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Martín Hötzel Escardó,
Dusko Pavlovic,
Dusko Pavlovic,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Martín Hötzel Escardó,
Frédéric De Jaeger,
Gabriele Santini,
2006,
Theor. Comput. Sci..
Abbas Edalat,
Martín Hötzel Escardó,
M. Escardó,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Martín Hötzel Escardó,
Weng Kin Ho,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Martín Hötzel Escardó,
1994,
Theory and Formal Methods.
Andrej Bauer,
Martín Hötzel Escardó,
Alex K. Simpson,
2002,
ICALP.
Martín Hötzel Escardó,
M. Escardó,
2013,
MFPS.
Martín Hötzel Escardó,
2000,
Electron. Notes Theor. Comput. Sci..
Martín Hötzel Escardó,
2009,
CiE.
Martín Hötzel Escardó,
M. Escardó,
2006,
Ann. Pure Appl. Log..
Martín Hötzel Escardó,
Paulo Oliva,
2017,
J. Symb. Log..
Martín Hötzel Escardó,
José Raymundo Marcial-Romero,
2004,
LICS.
José Raymundo Marcial-Romero,
Martín Hötzel Escardó,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Martín Hötzel Escardó,
Paulo Oliva,
2010,
CiE.
Martín Hötzel Escardó,
M. Escardó,
1997,
COMPROX.
Martín Hötzel Escardó,
Bob Flagg,
1999,
MFPS.
Martín Hötzel Escardó,
M. Escardó,
2003,
Appl. Categorical Struct..
Martín Hötzel Escardó,
2009,
CCA.
Martín Hötzel Escardó,
Paulo Oliva,
2010,
MSFP '10.
Martín Hötzel Escardó,
2015,
Math. Struct. Comput. Sci..
Klaus Keimel,
Martín Hötzel Escardó,
Ben Cohen,
2006,
TAMC.
Martín Hötzel Escardó,
Alex K. Simpson,
M. Escardó,
2014,
RTA-TLCA.
Thierry Coquand,
Thorsten Altenkirch,
Martín Hötzel Escardó,
2013,
TLCA.
Glynn Winskel,
Thomas Ehrhard,
Abbas Edalat,
2009,
Math. Struct. Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Martín Hötzel Escardó,
Paulo Oliva,
Paulo Oliva,
2012,
Turing-100.
Martín Hötzel Escardó,
Paulo Oliva,
2015,
J. Symb. Log..
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
1999,
Theor. Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
2008,
Log. Methods Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
1996,
Theor. Comput. Sci..
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Martín Hötzel Escardó,
Chuangjie Xu,
M. Escardó,
2015,
TLCA.
Thomas Streicher,
Martín Hötzel Escardó,
2002,
Math. Log. Q..
Martín Hötzel Escardó,
Paulo Oliva,
2010,
CiE.
Martín Hötzel Escardó,
2005,
CCA.
Martín Hötzel Escardó,
Michael W. Mislove,
Achim Jung,
2005,
MFPS.
Abbas Edalat,
Martín Hötzel Escardó,
M. Escardó,
1996,
LICS 1996.
Martín Hötzel Escardó,
Achim Jung,
2004,
Electron. Notes Theor. Comput. Sci..
Martín Hötzel Escardó,
Paulo Oliva,
Paulo Oliva,
2010,
Mathematical Structures in Computer Science.
Martín Hötzel Escardó,
Weng Kin Ho,
2005,
LICS.
Martín Hötzel Escardó,
Chuangjie Xu,
2013,
TLCA.
Martín Hötzel Escardó,
2013,
J. Log. Comput..
Martín Hötzel Escardó,
M. Escardó,
2013,
The Journal of Symbolic Logic.
Martín Hötzel Escardó,
Alex K. Simpson,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Martín Hötzel Escardó,
Achim Jung,
Thomas Streicher,
2006,
Math. Struct. Comput. Sci..
Martin Hofmann,
Thomas Streicher,
Martín Hötzel Escardó,
2004,
Mathematical Structures in Computer Science.
Martín Hötzel Escardó,
Chuangjie Xu,
2016,
Ann. Pure Appl. Log..
Martín Hötzel Escardó,
M. Escardó,
2004,
DTMPP.
Martín Hötzel Escardó,
2009,
MFPS.
Martín Hötzel Escardó,
Paulo Oliva,
Thomas Powell,
2011,
CSL.
Thierry Coquand,
Thorsten Altenkirch,
Martín Hötzel Escardó,
2016,
Log. Methods Comput. Sci..
Martín Hötzel Escardó,
M. Escardó,
1998
.
Martín Hötzel Escardó,
M. Escardó,
2001
.
Martín Hötzel Escardó,
Reinhold Heckmann,
R. Heckmann,
2001
.
Thomas Streicher,
Martín Hötzel Escardó,
2002
.
Martín Hötzel Escardó,
M. Escardó,
2003
.
Martín Hötzel Escardó,
M. Escardó,
2002
.
Klaus Keimel,
Martín Hötzel Escardó,
Thomas Erker,
1998
.