Sarah Winkler

发表

Christian Sternagel, Sarah Winkler, 2019, CADE.
Nao Hirokawa, Aart Middeldorp, Akihisa Yamada, 2014, FLOPS.
Aart Middeldorp, Sarah Winkler, Harald Zankl, 2012, LPAR.
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2010, IJCAR.
Georg Moser, Sarah Winkler, S. Winkler, 2018, IJCAR.
René Thiemann, Christian Sternagel, Sarah Winkler, 2012, ArXiv.
Sarah Winkler, Georg Moser, 2019, ARCADE@CADE.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2012, Journal of Automated Reasoning.
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2013, RTA.
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2011, CADE.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2010 .
Christian Sternagel, Sarah Winkler, S. Winkler, 2018, ArXiv.
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, 2017, FSCD.
Thomas Sternagel, Sarah Winkler, Harald Zankl, 2015, CPP.
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, 2018, Log. Methods Comput. Sci..
René Thiemann, Sarah Winkler, René Thiemann, 2015, FroCos.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2008, IJCAR.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2010, RTA.
Aart Middeldorp, Masahito Kurihara, Haruhiko Sato, 2009, IEICE Trans. Inf. Syst..
Aart Middeldorp, Sarah Winkler, A. Middeldorp, 2020, ThEdu@CADE.
Aart Middeldorp, Sarah Winkler, 2018, FSCD.
Naoki Nishida, Sarah Winkler, 2018, VSTTE.
Nao Hirokawa, Aart Middeldorp, Akihisa Yamada, 2014, Theory and Practice of Logic Programming.
René Thiemann, Julian Nagele, Sarah Winkler, 2014, VSTTE.
Haruhiko Sato, Sarah Winkler, Haruhiko Sato, 2015, CADE.
Aart Middeldorp, Sarah Winkler, Harald Zankl, 2015, J. Symb. Comput..
Marco Montali, Alessandro Gianola, Andrey Rivkin, 2021, BPM.