Harald Zankl

发表

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2008, RTA.
Aart Middeldorp, Harald Zankl, A. Middeldorp, 2006 .
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, 2014, 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, Sarah Winkler, Harald Zankl, 2015, J. Symb. Comput..
Dieter Hofbauer, Aart Middeldorp, Christian Sternagel, 2009, SOFSEM.
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2007, SAT.
Bertram Felgenhauer, Julian Nagele, Harald Zankl, 2016, Log. Methods Comput. Sci..
Nao Hirokawa, Julian Nagele, Naoki Nishida, 2015, CADE.
Vincent van Oostrom, Bertram Felgenhauer, Aart Middeldorp, 2014, FSTTCS.
Harald Zankl, Martin Korp, Harald Zankl, 2014, Log. Methods Comput. Sci..
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2013, Journal of Automated Reasoning.
René Thiemann, Christian Sternagel, Thomas Sternagel, 2012, ArXiv.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2011, HOR.
Aart Middeldorp, Harald Zankl, A. Middeldorp, 2010, LPAR.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2008, LPAR.
Nao Hirokawa, Aart Middeldorp, Harald Zankl, 2007, SOFSEM.
Aart Middeldorp, Harald Zankl, A. Middeldorp, 2006, RTA.
Julian Nagele, Harald Zankl, Harald Zankl, 2015, RTA.
Harald Zankl, Martin Korp, Harald Zankl, 2010, IWIL@LPAR.
Harald Zankl, Martin Korp, Harald Zankl, 2010, RTA.
A. Middeldorp, Harald Zankl, 2006 .
A. Middeldorp, Harald Zankl, 2006 .
Aart Middeldorp, Christian Sternagel, Harald Zankl, 2009, WFLP.
Harald Zankl, Harald Zankl, 2012, RTA.
A. Middeldorp, Harald Zankl, Sarah Winker, 2012 .
Aart Middeldorp, Christian Sternagel, Harald Zankl, 2009, RTA.