Andreas Teucke

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

Frequent Coauthors

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