Showing 1 - 4 results of 4 for search 'Christian Sternagel', query time: 0.03s Refine Results
  1. 1
    Certified Kruskal's Tree Theorem

    Certified Kruskal's Tree Theorem by Christian Sternagel

    Published 2014-07-01
    Get full text
    Article
  2. 2
    The Certification Problem Format

    The Certification Problem Format by Christian Sternagel, René Thiemann

    Published 2014-10-01
    Get full text
    Article
  3. 3
    Abstract Completion, Formalized

    Abstract Completion, Formalized by Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler

    Published 2019-08-01
    Get full text
    Article
  4. 4
    Loops under Strategies ... Continued

    Loops under Strategies ... Continued by René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp

    Published 2010-12-01
    Get full text
    Article

Search Tools: