A. Middeldorp

发表

Jürgen Giesl, Aart Middeldorp, J. Giesl, 2004, J. Funct. Program..
Yoshihito Toyama, Aart Middeldorp, A. Middeldorp, 1991, RTA.
Yoshihito Toyama, Aart Middeldorp, Jan Willem Klop, 1994, Inf. Process. Lett..
Jürgen Giesl, Aart Middeldorp, J. Giesl, 1999, RTA.
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2008, RTA.
Enno Ohlebusch, Hans Zantema, Aart Middeldorp, 2002 .
Enno Ohlebusch, Hans Zantema, Aart Middeldorp, 2002, Inf. Comput..
A. Middeldorp, M. Kurihara, Haruhiko Sato, 2010 .
Aart Middeldorp, Harald Zankl, A. Middeldorp, 2006 .
Aart Middeldorp, A. Middeldorp, E. Hamoen, 1991 .
Enno Ohlebusch, Hans Zantema, Aart Middeldorp, 2002, Inf. Comput..
Yoshihito Toyama, Aart Middeldorp, Jan Willem Klop, 1991 .
Georg Moser, Nao Hirokawa, Aart Middeldorp, 2015, RTA.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2009, Journal of Automated Reasoning.
Paula Severi, Aart Middeldorp, Jan Willem Klop, 2002 .
Vincent van Oostrom, Aart Middeldorp, Femke van Raamsdonk, 2005, Processes, Terms and Cycles.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2003 .
Hans Zantema, Aart Middeldorp, H. Zantema, 1997, Theor. Comput. Sci..
Hans Zantema, Aart Middeldorp, H. Zantema, 1994, CADE.
Julian Nagele, Aart Middeldorp, Kiraku Shintani, 2021, Int. J. Softw. Tools Technol. Transf..
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2020, ThEdu@CADE.
Julian Nagele, Aart Middeldorp, A. Middeldorp, 2016, ITP.
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2014, Journal of Automated Reasoning.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2012, Journal of Automated Reasoning.
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2011, CADE.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2009, Journal of Automated Reasoning.
Aart Middeldorp, A. Middeldorp, 2001, IJCAR.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2005, CADE.
Yoshihito Toyama, Aart Middeldorp, A. Middeldorp, 1991, RTA.
Aart Middeldorp, A. Middeldorp, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Aart Middeldorp, Taisuke Sato, Taisuke Sato, 1999, Lecture Notes in Computer Science.
Aart Middeldorp, Sarah Winkler, Harald Zankl, 2015, J. Symb. Comput..
Aart Middeldorp, Irène Durand, A. Middeldorp, 1997, CADE.
Hans Zantema, Aart Middeldorp, Hitoshi Ohsaki, 1996, CADE.
Dieter Hofbauer, Aart Middeldorp, Christian Sternagel, 2009, SOFSEM.
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2013, RTA.
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2007, SAT.
A. Middeldorp, Julian Nagele, Kiraku Shintani, 2021, International Journal on Software Tools for Technology Transfer.
Bertram Felgenhauer, Aart Middeldorp, Alexander Lochmann, 2021, TACAS.
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, 2018, Log. Methods Comput. Sci..
Aart Middeldorp, Cynthia Kop, Thomas Sternagel, 2015, Log. Methods Comput. Sci..
Aart Middeldorp, Friedrich Neurauter, A. Middeldorp, 2014, Log. Methods Comput. Sci..
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, 2014, ITP.
Vincent van Oostrom, Bertram Felgenhauer, Aart Middeldorp, 2014, FSTTCS.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2013, Journal of Automated Reasoning.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2011, HOR.
Aart Middeldorp, Harald Zankl, A. Middeldorp, 2010, LPAR.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2009, IEICE Trans. Inf. Syst..
Aart Middeldorp, Irène Durand, A. Middeldorp, 2009, ArXiv.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2008, LPAR.
Aart Middeldorp, Christian Sternagel, A. Middeldorp, 2008, RTA.
Aart Middeldorp, Martin Korp, A. Middeldorp, 2008, LATA.
René Thiemann, Aart Middeldorp, René Thiemann, 2008, WRS@RDP.
Aart Middeldorp, Adam Koprowski, A. Middeldorp, 2007, CADE.
Aart Middeldorp, Martin Korp, A. Middeldorp, 2007, RTA.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2007, Inf. Comput..
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2007, SOFSEM.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2006, RTA.
Aart Middeldorp, Harald Zankl, A. Middeldorp, 2006, RTA.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2004, AISC.
Aart Middeldorp, Mircea Marin, A. Middeldorp, 2004, PPDP '04.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2004, RTA.
Aart Middeldorp, A. Middeldorp, 2002, WRS.
Jürgen Giesl, Aart Middeldorp, J. Giesl, 2000, CADE.
Aart Middeldorp, Hitoshi Ohsaki, A. Middeldorp, 1997, Acta Informatica.
A. Middeldorp, Fabian Mitterwallner, 2022, FSCD.
Aart Middeldorp, Cynthia Kop, Thomas Sternagel, 2015, RTA.
Aart Middeldorp, Friedrich Neurauter, A. Middeldorp, 2011, RTA.
A. Middeldorp, Harald Zankl, 2006 .
A. Middeldorp, Harald Zankl, 2006 .
Taro Suzuki, Mohamed Hamada, Aart Middeldorp, 2002, J. Funct. Log. Program..
Aart Middeldorp, Jan Willem Klop, J. Klop, 1991, J. Symb. Comput..
Nao Hirokawa, Aart Middeldorp, Akihisa Yamada, 2014, FLOPS.
Nao Hirokawa, Aart Middeldorp, Akihisa Yamada, 2014, Theory and Practice of Logic Programming.
Amy P. Felty, Aart Middeldorp, A. Middeldorp, 2015, Lecture Notes in Computer Science.
A. Middeldorp, Nao Hirokawa, 2023, FSCD.
Aart Middeldorp, Thomas Sternagel, A. Middeldorp, 2014, RTA-TLCA.
Enno Ohlebusch, Hans Zantema, Aart Middeldorp, 1997, TAPSOFT.
Enno Ohlebusch, Hans Zantema, Aart Middeldorp, 1996, Inf. Comput..
Bernhard Gramlich, Aart Middeldorp, A. Middeldorp, 1993, Applicable Algebra in Engineering, Communication and Computing.
Tetsuo Ida, Aart Middeldorp, Satoshi Okui, 1995, Theor. Comput. Sci..
Aart Middeldorp, Jürgen Avenhaus, Toshiyuki Yamada, 1997, Theor. Comput. Sci..
Aart Middeldorp, Christian Sternagel, Harald Zankl, 2009, WFLP.
Jürgen Giesl, Aart Middeldorp, J. Giesl, 2002, Developments in Language Theory.
Nao Hirokawa, Aart Middeldorp, A. Middeldorp, 2005, RTA.
Aart Middeldorp, Erik Hamoen, A. Middeldorp, 1994, Applicable Algebra in Engineering, Communication and Computing.
Aart Middeldorp, A. Middeldorp, 1993, Inf. Comput..
Aart Middeldorp, Erik Hamoen, A. Middeldorp, 1992, ALP.
A. Middeldorp, B. V. Westersingel, E. Hamoen, 2003 .
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2011, CADE.
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2010, IJCAR.
A. Middeldorp, Harald Zankl, Sarah Winker, 2012 .
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2010 .
Aart Middeldorp, Christian Sternagel, Harald Zankl, 2009, RTA.
Nao Hirokawa, Julian Nagele, Aart Middeldorp, 2018, IJCAR.
A. Middeldorp, Nao Hirokawa, 2005, CADE.
M. Hanus, Salvador Lucas, A. Middeldorp, 1998, Inf. Process. Lett..
A. Middeldorp, M. Hanus, Salvador Lucas, 2022 .
Aart Middeldorp, A. Middeldorp, 1999, CSL.