Albert Heinle
发表
Viktor Levandovskyy,
Albert Heinle,
A. Heinle,
2013,
ArXiv.
Mark Giesbrecht,
Viktor Levandovskyy,
Albert Heinle,
2015,
ACCA.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
ISSAC.
Viktor Levandovskyy,
Albert Heinle,
Andreas Nareike,
2013,
ArXiv.
Wolfram Koepf,
Wolfram Sperber,
Albert Heinle,
2017,
ACCA.
Mark Giesbrecht,
Viktor Levandovskyy,
Albert Heinle,
2016,
J. Symb. Comput..
Viktor Levandovskyy,
Albert Heinle,
A. Heinle,
2016,
ISSAC.
Viktor Levandovskyy,
Albert Heinle,
2011,
ACCA.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
Journal of Automated Reasoning.
Reinhold Burger,
Albert Heinle,
A. Heinle,
2014,
ArXiv.
Mark Giesbrecht,
Viktor Levandovskyy,
Albert Heinle,
2014,
ArXiv.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
SC²@SYNASC.
Mark Giesbrecht,
Viktor Levandovskyy,
Albert Heinle,
2014,
ISSAC.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
J. Symb. Comput..
Mark Giesbrecht,
Albert Heinle,
2012,
CASC.
Viktor Levandovskyy,
Albert Heinle,
2015,
ACCA.
Albert Heinle,
2013,
ACCA.