Christoph L\"uth (DFKI

Identifiers

• name variant Christoph L\"uth (DFKI 0.60 · backfill

Papers (2)

1. Interactive Proof Presentations with Cobra cs.LO · 2017 · author #2
2. Proceedings 10th International Workshop On User Interfaces for Theorem Provers cs.LO · 2013 · author #3

Mentions

• 1307.1528 #3 · backfill · confidence 0.70 Christoph L\"uth (DFKI

Frequent Coauthors

• Austria) 1 shared papers
• Cezary Kaliszyk (University of Innsbruck 1 shared papers
• Germany) 1 shared papers
• Martin Ring (DFKI) 1 shared papers
• Universit\"at Bremen) 1 shared papers
• University of Bremen 1 shared papers