Jörg Endrullis

发表

Hans Zantema, Herman Geuvers, Jörg Endrullis, 2009, ArXiv.
Wan Fokkink, Jun Pang, Rena Bakhshi, 2010, ArXiv.
Jan Willem Klop, Jörg Endrullis, 2019, Theor. Comput. Sci..
Vincent van Oostrom, Jan Willem Klop, Jörg Endrullis, 2011, Theor. Comput. Sci..
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.
Hans Zantema, Jörg Endrullis, Johannes Waldmann, 2006, IJCAR.
Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, 2007, Theor. Comput. Sci..
Jan Willem Klop, Jörg Endrullis, Roy Overbeek, 2018, FSCD.
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 Willem Klop, Jörg Endrullis, Roy Overbeek, 2020, Log. Methods Comput. Sci..
Jan Willem Klop, Jörg Endrullis, Dimitri Hendriks, 2009, ArXiv.
Markus A. Whiteland, Jan Willem Klop, Jörg Endrullis, 2015, WORDS.
Jörg Endrullis, Johannes Waldmann, Roel C. de Vrijer, 2009, RTA.
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.
Lawrence S. Moss, Jörg Endrullis, 2019, Math. Struct. Comput. Sci..
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..
Lawrence S. Moss, David Sprunger, Jörg Endrullis, 2014, Developments in Language Theory.
Wan Fokkink, Jun Pang, Rena Bakhshi, 2011, Inf. Process. Lett..
Jeffrey Shallit, Jörg Endrullis, Tim Smith, 2017, DLT.
Grigore Rosu, Rena Bakhshi, Jörg Endrullis, 2014, Journal of Functional Programming.
Jörg Endrullis, Dimitri Hendriks, 2009, RTA.
Wan Fokkink, Jun Pang, Rena Bakhshi, 2010, PODC '10.
Jörg Endrullis, Dimitri Hendriks, 2011, Theor. Comput. Sci..
Juhani Karhumäki, Jan Willem Klop, Jörg Endrullis, 2018, ArXiv.
Vincent van Oostrom, Jan Willem Klop, Jörg Endrullis, 2014, Log. Methods Comput. Sci..
Jan Willem Klop, Jörg Endrullis, 2019, The Art of Modelling Computational Systems.
Hans Zantema, Jörg Endrullis, J. Endrullis, 2015, RTA.
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.
Lawrence S. Moss, Jan Willem Klop, Jörg Endrullis, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Hans Zantema, Jörg Endrullis, 2014, ArXiv.
Boudewijn R. Haverkort, Wan Fokkink, Rena Bakhshi, 2010, 2010 International Conference on Electrical and Control Engineering.
Jörg Endrullis, Johannes Waldmann, D. Hofbauer, 2006 .
Juhani Karhumäki, Jan Willem Klop, Jörg Endrullis, 2018, Int. J. Found. Comput. Sci..
Lawrence S. Moss, David Sprunger, Jörg Endrullis, 2014, ArXiv.
Lawrence S. Moss, Jörg Endrullis, 2015, WoLLIC.
Jörg Endrullis, Dimitri Hendriks, 2014, CSL-LICS.
Boudewijn R. Haverkort, Wan Fokkink, Rena Bakhshi, 2010, QEST.
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, 2008, LPAR.
Jan Willem Klop, Jörg Endrullis, Dimitri Hendriks, 2011, Integers.
Andrew Polonsky, Jörg Endrullis, 2011, TYPES.
Hans Zantema, Jörg Endrullis, Johannes Waldmann, 2006, Journal of Automated Reasoning.
Jan Willem Klop, Andrew Polonsky, Jörg Endrullis, 2015, Mathematical Structures in Computer Science.
Hans Zantema, Jörg Endrullis, 2011, RTA.
Rena Bakhshi, Jörg Endrullis, Dimitri Hendriks, 2012, ICFP.
Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, 2009, ArXiv.
Jörg Endrullis, Roel C. de Vrijer, J. Endrullis, 2008, RTA.
Juhani Karhumäki, Jan Willem Klop, Jörg Endrullis, 2016, DLT.
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.
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, Johannes Waldmann, Roel C. de Vrijer, 2010, Log. Methods Comput. Sci..
Hans Zantema, Herman Geuvers, Jörg Endrullis, 2009, CSL.
Jörg Endrullis, Dimitri Hendriks, 2010, Log. Methods Comput. Sci..
Hans Zantema, Jörg Endrullis, Clemens Grabmayer, 2015, ArXiv.
Jan Willem Klop, Rena Bakhshi, Jörg Endrullis, 2019, Acta Informatica.
Jakob Grue Simonsen, Hans Zantema, Herman Geuvers, 2011, Inf. Comput..
Jan Willem Klop, Henk Barendregt, Jörg Endrullis, 2017 .