Aart Middeldorp

发表

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