Dimitri Hendriks
发表
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2013,
Bull. EATCS.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2010,
Theor. Comput. Sci..
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2009,
CADE.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2007,
Theor. Comput. Sci..
Hans Zantema,
Jörg Endrullis,
Clemens Grabmayer,
2015,
WORDS.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2012,
Theor. Comput. Sci..
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2013,
LATA.
Jan A. Bergstra,
Inge Bethke,
Dimitri Hendriks,
2017,
ArXiv.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2009,
ArXiv.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Vincent van Oostrom,
Jan Willem Klop,
Jörg Endrullis,
2010,
RTA.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2012,
ArXiv.
Jan Willem Klop,
Andrew Polonsky,
Jörg Endrullis,
2014,
ArXiv.
Jan Willem Klop,
Andrew Polonsky,
Jörg Endrullis,
2014,
Log. Methods Comput. Sci..
Grigore Rosu,
Rena Bakhshi,
Jörg Endrullis,
2014,
Journal of Functional Programming.
Jörg Endrullis,
Dimitri Hendriks,
2009,
RTA.
Jörg Endrullis,
Dimitri Hendriks,
2011,
Theor. Comput. Sci..
Vincent van Oostrom,
Jan Willem Klop,
Jörg Endrullis,
2014,
Log. Methods Comput. Sci..
Alexandra Silva,
Helle Hvid Hansen,
Andrew Polonsky,
2013,
ArXiv.
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Hans de Nivelle,
Marc Bezem,
Dimitri Hendriks,
2000,
CADE.
Lawrence S. Moss,
Jan Willem Klop,
Jörg Endrullis,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Alexandra Silva,
Helle Hvid Hansen,
Andrew Polonsky,
2013
.
Jörg Endrullis,
Dimitri Hendriks,
2014,
CSL-LICS.
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2008,
LPAR.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2011,
Integers.
Dimitri Hendriks,
D. Hendriks,
2001,
Journal of Automated Reasoning.
Jan Willem Klop,
Andrew Polonsky,
Jörg Endrullis,
2015,
Mathematical Structures in Computer Science.
Dimitri Hendriks,
Michiel Pezij,
Denie C. M. Augustijn,
2020,
Environ. Model. Softw..
Rena Bakhshi,
Jörg Endrullis,
Dimitri Hendriks,
2012,
ICFP.
Hans de Nivelle,
Marc Bezem,
Dimitri Hendriks,
2000,
Journal of Automated Reasoning.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2009,
ArXiv.
Alexandra Silva,
Helle Hvid Hansen,
Andrew Polonsky,
2017,
Log. Methods Comput. Sci..
Martin Bodin,
Jörg Endrullis,
Dimitri Hendriks,
2013,
ITP.
Alexandra Silva,
Helle Hvid Hansen,
Andrew Polonsky,
2015,
RTA.
Marc Bezem,
Dimitri Hendriks,
M. Bezem,
2007,
Journal of Automated Reasoning.
Jan Willem Klop,
Andrew Polonsky,
Jörg Endrullis,
2013,
The Beauty of Functional Code.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2009,
TYPES.
Jörg Endrullis,
Dimitri Hendriks,
2010,
Log. Methods Comput. Sci..
Hans Zantema,
Jörg Endrullis,
Clemens Grabmayer,
2015,
ArXiv.
Dimitri Hendriks,
2002
.