René Thiemann
发表
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2006,
Journal of Automated Reasoning.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2008,
RTA.
René Thiemann,
2015
.
S. Falke,
J. Giesl,
René Thiemann,
2003
.
S. Falke,
J. Giesl,
René Thiemann,
2004
.
René Thiemann,
Jose Divasón,
2022,
Journal of Automated Reasoning.
René Thiemann,
René Thiemann,
2013,
Arch. Formal Proofs.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2008,
RTA.
René Thiemann,
René Thiemann,
2007
.
René Thiemann,
Christian Sternagel,
René Thiemann,
2014,
UITP.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2005,
LPAR.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2004,
IJCAR.
Jürgen Giesl,
René Thiemann,
J. Giesl,
2003,
RTA.
Bertram Felgenhauer,
René Thiemann,
René Thiemann,
2017,
Inf. Comput..
Bertram Felgenhauer,
René Thiemann,
René Thiemann,
2014,
LATA.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2006,
IJCAR.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2005,
FroCoS.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2016,
Journal of Automated Reasoning.
Jürgen Giesl,
Alexander Serebrenik,
René Thiemann,
2008,
TOCL.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2004,
RTA.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2017,
CPP.
René Thiemann,
Akihisa Yamada,
René Thiemann,
2016,
ITP.
René Thiemann,
René Thiemann,
2018,
LPAR.
René Thiemann,
Max W. Haslbeck,
Ralph Bottesch,
2018,
LPAR.
René Thiemann,
Julian Nagele,
Sarah Winkler,
2014,
VSTTE.
René Thiemann,
Christian Sternagel,
René Thiemann,
2011,
FroCoS.
Jürgen Giesl,
René Thiemann,
Carsten Fuhs,
2011,
ITP.
René Thiemann,
Christian Sternagel,
René Thiemann,
2009,
TPHOLs.
René Thiemann,
Christian Sternagel,
Akihisa Yamada,
2016,
CSL.
René Thiemann,
Christian Sternagel,
René Thiemann,
2012,
ITP.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2019,
Journal of Automated Reasoning.
Sebastiaan J. C. Joosten,
René Thiemann,
Akihisa Yamada,
2018,
Journal of Automated Reasoning.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2007,
SAT.
René Thiemann,
Elias Wenninger,
2023,
Arch. Formal Proofs.
René Thiemann,
Sarah Winkler,
René Thiemann,
2015,
FroCos.
René Thiemann,
Christian Sternagel,
Martin Avanzini,
2015,
RTA.
René Thiemann,
Christian Sternagel,
René Thiemann,
2014,
RTA-TLCA.
René Thiemann,
2012,
ArXiv.
René Thiemann,
Christian Sternagel,
Thomas Sternagel,
2012,
ArXiv.
René Thiemann,
Christian Sternagel,
René Thiemann,
2012,
ArXiv.
René Thiemann,
Christian Sternagel,
René Thiemann,
2012,
ArXiv.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2012,
Journal of Automated Reasoning.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2010,
IWS.
René Thiemann,
Christian Sternagel,
René Thiemann,
2009,
RTA.
René Thiemann,
René Thiemann,
2009,
SOFSEM.
René Thiemann,
Aart Middeldorp,
René Thiemann,
2008,
WRS@RDP.
Hans Zantema,
Jürgen Giesl,
René Thiemann,
2008,
Applicable Algebra in Engineering, Communication and Computing.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2007,
FroCoS.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2007,
CADE.
Jürgen Giesl,
Alexander Serebrenik,
René Thiemann,
2006,
LOPSTR.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2006,
LPAR.
Jürgen Giesl,
René Thiemann,
J. Giesl,
2005,
Applicable Algebra in Engineering, Communication and Computing.
Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
2003,
LPAR.
René Thiemann,
Christian Sternagel,
René Thiemann,
2013,
RTA.
René Thiemann,
Julian Nagele,
Guillaume Allais,
2012,
RTA.
René Thiemann,
Christian Sternagel,
René Thiemann,
2010,
RTA.
René Thiemann,
Christian Sternagel,
René Thiemann,
2010,
Arch. Formal Proofs.
René Thiemann,
Max W. Haslbeck,
Alban Reynaud,
2020,
NFM.
René Thiemann,
Max W. Haslbeck,
Ralph Bottesch,
2019,
FroCos.
Marc Brockschmidt,
Sebastiaan J. C. Joosten,
René Thiemann,
2017,
CADE.
René Thiemann,
René Thiemann,
2021,
J. Log. Algebraic Methods Program..
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2016,
Arch. Formal Proofs.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2020,
Journal of Automated Reasoning.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
ITP.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
Arch. Formal Proofs.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
Arch. Formal Proofs.
J. Giesl,
René Thiemann,
Peter Schneider-Kamp,
2003
.
René Thiemann,
Manuel Eberl,
René Thiemann,
2021,
Arch. Formal Proofs.
Andrei Popescu,
Johannes Hölzl,
René Thiemann,
2017,
FroCoS.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
CPP.
René Thiemann,
Julian Nagele,
René Thiemann,
2015,
ArXiv.
Albert Rubio,
Jürgen Giesl,
Frédéric Mesnard,
2015,
CADE.
Jürgen Giesl,
Marc Brockschmidt,
René Thiemann,
2014,
IJCAR.