# Christoph Wernhard

According to our database

Collaborative distances:

^{1}, Christoph Wernhard authored at least 28 papers between 2004 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

CoRR, 2020

KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog.

CoRR, 2020

2019

CoRR, 2019

CoRR, 2019

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic.

Proceedings of the Declarative Programming and Knowledge Management, 2019

KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-Prolog.

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

CoRR, 2018

2017

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic.

CoRR, 2017

The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version.

CoRR, 2017

Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract).

Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas.

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

J. Appl. Non Class. Logics, 2014

2013

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Proceedings of the Frontiers of Combining Systems, 2013

2012

J. Symb. Comput., 2012

2011

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

PhD thesis, 2009

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

Proceedings of the Automated Deduction, 2007

2004

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004