C. Wernhard
发表
Christoph Wernhard,
C. Wernhard,
2007
.
Christoph Wernhard,
C. Wernhard,
2003
.
C. Wernhard,
2000
.
Steffen Hölldobler,
C. Wernhard,
Tobias Philipp,
2011
.
C. Wernhard,
2022,
ArXiv.
C. Wernhard,
2022
.
C. Wernhard,
2022,
PAAR@IJCAR.
C. Wernhard,
2022,
PAAR@IJCAR.
C. Wernhard,
Michael Benedikt,
P. Pradic,
2022,
ArXiv.
C. Wernhard,
Michael Benedikt,
P. Pradic,
2022,
ArXiv.
Steffen Hölldobler,
Andrey Malikov,
Christoph Wernhard,
2017,
YSIP.
C. Wernhard,
2021,
SOQE@KR.
C. Wernhard,
2020,
DECLARE.
Christoph Wernhard,
C. Wernhard,
2019,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2018,
ArXiv.
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
pdf
Christoph Wernhard,
C. Wernhard,
2017,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2017,
SOQE.
Christoph Wernhard,
C. Wernhard,
2017,
ArXiv.
Christoph Wernhard,
C. Wernhard,
2017,
SOQE.
Christoph Wernhard,
C. Wernhard,
2017,
SOQE.
Christoph Wernhard,
C. Wernhard,
2016,
PAAR@IJCAR.
Christoph Wernhard,
C. Wernhard,
2015,
TABLEAUX.
Christoph Wernhard,
C. Wernhard,
2008,
JELIA.
Christoph Wernhard,
C. Wernhard,
2004,
JELIA.
Steffen Hölldobler,
Emmanuelle-Anna Dietz,
Christoph Wernhard,
2014,
J. Appl. Non Class. Logics.
Christoph Wernhard,
C. Wernhard,
2012
.
Björn Pelzer,
Christoph Wernhard,
C. Wernhard,
2007,
CADE.
Christoph Wernhard,
Jana Kittelmann,
C. Wernhard,
2019,
DECLARE.
Christoph Wernhard,
C. Wernhard,
2007
.
Christoph Wernhard,
C. Wernhard,
2013,
FroCos.
Christoph Wernhard,
C. Wernhard,
2009,
TABLEAUX.
C. Wernhard,
I. Dahn,
A. Haida,
1998
.
C. Wernhard,
Michael Benedikt,
Cécilia Pradic,
2022,
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.
C. Wernhard,
Michael Benedikt,
P. Pradic,
2022
.
C. Wernhard,
2023,
TABLEAUX.
Tobias Philipp,
Norbert Manthey,
Christoph Wernhard,
2013,
SAT.
Steffen Hölldobler,
C. Wernhard,
A. Malikov,
2017,
YSIP.