Andreas Teucke

Identifiers

• name variant Andreas Teucke 0.60 · backfill

Papers (3)

1. On the Expressivity and Applicability of Model Representation Formalisms cs.LO · 2019 · author #1
2. Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints cs.LO · 2017 · author #1
3. First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation cs.LO · 2015 · author #1

Mentions

• 1503.02971 #1 · backfill · confidence 0.70 Andreas Teucke

Frequent Coauthors

• Christoph Weidenbach 3 shared papers
• Marco Voigt 1 shared papers