Clemens Grabmayer

发表

Vincent van Oostrom, Jan Willem Klop, Jörg Endrullis, 2011, Theor. Comput. Sci..
Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, 2010, Theor. Comput. Sci..
Clemens Grabmayer, 2007, Math. Struct. Comput. Sci..
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, 2009, CADE.
Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, 2007, Theor. Comput. Sci..
Bas Luttik, Jan Willem Klop, Clemens Grabmayer, 2006, CONCUR.
Hans Zantema, Jörg Endrullis, Clemens Grabmayer, 2015, WORDS.
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, 2013, LATA.
Vincent van Oostrom, Clemens Grabmayer, 2014, TERMGRAPH.
Vincent van Oostrom, Albert Visser, Clemens Grabmayer, 2009, The Review of Symbolic Logic.
Vincent van Oostrom, Jan Willem Klop, Jörg Endrullis, 2010, RTA.
Clemens Grabmayer, C. Grabmayer, 2005, CALCO.
Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer, 2007, JACM.
Clemens Grabmayer, Jan Rochel, C. Grabmayer, 2011, TERMGRAPH.
Bas Luttik, Jan Willem Klop, Clemens Grabmayer, 2006, APC 25.
Vincent van Oostrom, Jan Willem Klop, Jörg Endrullis, 2014, Log. Methods Comput. Sci..
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.
Clemens Grabmayer, Jan Rochel, C. Grabmayer, 2013, TERMGRAPH.
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, 2008, LPAR.
Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, 2009, ArXiv.
Clemens Grabmayer, Jan Rochel, C. Grabmayer, 2014, ICFP.
Michal Walicki, Marc Bezem, Clemens Grabmayer, 2010, Ann. Pure Appl. Log..
Clemens Grabmayer, Jan Rochel, C. Grabmayer, 2012, RTA.
Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, 2009, TYPES.
Hans Zantema, Jörg Endrullis, Clemens Grabmayer, 2015, ArXiv.
Clemens Grabmayer, Jan Rochel, C. Grabmayer, 2012, RTA.
Clemens Grabmayer, Wan Fokkink, W. Fokkink, 2020, LICS.
Clemens Grabmayer, C. Grabmayer, 2005 .