J. Endrullis
发表
J. Endrullis,
2010
.
J. Endrullis,
2019
.
J. Endrullis,
J. Klop,
R. Overbeek,
2019
.
J. Endrullis,
J. Ketema,
2007
.
J. Endrullis,
D. Hendriks,
2010,
Log. Methods Comput. Sci..
H. Hansen,
J. Endrullis,
Alois Rosset,
2022,
CMCS.
J. Endrullis,
R. Overbeek,
Alois Rosset,
2022,
Journal of Logical and Algebraic Methods in Programming.
J. Endrullis,
R. Overbeek,
Alois Rosset,
2023,
2301.13067.
J. Endrullis,
R. Overbeek,
2023,
ArXiv.
J. Endrullis,
R. Overbeek,
2023,
Electronic Proceedings in Theoretical Computer Science.
Roy Overbeek,
Jorg Endrullis,
J. Endrullis,
2021,
GCM@STAF.
J. Endrullis,
R. Overbeek,
Alois Rosset,
2020,
ICGT.
Grigore Rosu,
Rena Bakhshi,
Jörg Endrullis,
2014,
Journal of Functional Programming.
Jan Willem Klop,
Roy Overbeek,
Jorg Endrullis,
2020,
Log. Methods Comput. Sci..
Jeffrey Shallit,
Jörg Endrullis,
Tim Smith,
2017,
DLT.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2007,
Theor. Comput. Sci..
Hans Zantema,
Jörg Endrullis,
Johannes Waldmann,
2006,
Journal of Automated Reasoning.
J. Endrullis,
R. Overbeek,
Alois Rosset,
2022,
Journal of Logical and Algebraic Methods in Programming.
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2009,
CADE.
Martin Bodin,
Jörg Endrullis,
Dimitri Hendriks,
2013,
ITP.
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2013,
LATA.
Alexandra Silva,
Helle Hvid Hansen,
Andrew Polonsky,
2017,
Log. Methods Comput. Sci..
Alexandra Silva,
Helle Hvid Hansen,
Andrew Polonsky,
2013,
ArXiv.
Jan Willem Klop,
Henk Barendregt,
Jörg Endrullis,
2017
.
Vincent van Oostrom,
Jan Willem Klop,
Jörg Endrullis,
2011,
Theor. Comput. Sci..
Juhani Karhumäki,
Jan Willem Klop,
Jörg Endrullis,
2018,
ArXiv.
Juhani Karhumäki,
Jan Willem Klop,
Jörg Endrullis,
2016,
DLT.
Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
2008,
LPAR.
J. Endrullis,
J. Klop,
R. Bakhshi,
2019,
Acta Informatica.
J. Endrullis,
J. Klop,
R. Overbeek,
2020,
Log. Methods Comput. Sci..
Jan Willem Klop,
Jörg Endrullis,
Roy Overbeek,
2018,
FSCD.
Hans Zantema,
Jörg Endrullis,
J. Endrullis,
2015,
RTA.
J. Endrullis,
J. Klop,
2013
.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2012,
Theor. Comput. Sci..
Jörg Endrullis,
Johannes Waldmann,
Roel C. de Vrijer,
2010,
Log. Methods Comput. Sci..
Jörg Endrullis,
Johannes Waldmann,
Roel C. de Vrijer,
2009,
RTA.
Jan Willem Klop,
Jörg Endrullis,
Clemens Grabmayer,
2009,
TYPES.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Markus A. Whiteland,
Jan Willem Klop,
Jörg Endrullis,
2015,
WORDS.
José L. Balcázar,
J. Endrullis,
D. Hendriks,
2010,
Log. Methods Comput. Sci..
Rena Bakhshi,
Jörg Endrullis,
Dimitri Hendriks,
2012,
ICFP.
Jan Willem Klop,
Jörg Endrullis,
Dimitri Hendriks,
2011,
Integers.
Jakob Grue Simonsen,
Hans Zantema,
Herman Geuvers,
2011,
Inf. Comput..
Hans Zantema,
Herman Geuvers,
Jörg Endrullis,
2009,
CSL.
Hans Zantema,
Herman Geuvers,
Jörg Endrullis,
2009,
ArXiv.
J. Endrullis,
W. Fokkink,
R. Bakhshi,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
J. Endrullis,
J. Klop,
R. Overbeek,
2019,
Log. Methods Comput. Sci..
Jan Willem Klop,
Andrew Polonsky,
Jörg Endrullis,
2015,
Mathematical Structures in Computer Science.
Jörg Endrullis,
Roel C. de Vrijer,
J. Endrullis,
2008,
RTA.