Andreas Teucke

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 6

Top Topics

Datalog Queries

Transitive Closure

Theorem Proving

Predicate Calculus

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Andreas Teucke, Christoph Weidenbach
SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment. J. Autom. Reason. 64 (3) (2020)
Andreas Teucke, Marco Voigt, Christoph Weidenbach
On the Expressivity and Applicability of Model Representation Formalisms. FroCos (2019)
Andreas Teucke, Marco Voigt, Christoph Weidenbach
On the Expressivity and Applicability of Model Representation Formalisms. CoRR (2019)
Andreas Teucke, Christoph Weidenbach
Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints. CoRR (2017)
Andreas Teucke, Christoph Weidenbach
Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints. CADE (2017)
Andreas Teucke, Christoph Weidenbach
Ordered Resolution with Straight Dismatching Constraints. PAAR@IJCAR (2016)
Andreas Teucke, Christoph Weidenbach
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation. FroCos (2015)
Andreas Teucke, Christoph Weidenbach
First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement. CoRR (2015)