( en | de | ru )

 

Disambiguierung von "Sternagel, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Certified Equational Reasoning via Ordered Completion.

, und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 508-525. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manfred Sternagel

Peter Sternagel

Jörg Sternagel

Helga Sternagel

Andrea Sternagel

 

Weitere Publikationen von Autoren mit dem selben Namen

A New and Formalized Proof of Abstract Completion., , und . ITP, Volume 8558 von Lecture Notes in Computer Science, Seite 292-307. Springer, (2014)Certified Kruskal's Tree Theorem.. CPP, Volume 8307 von Lecture Notes in Computer Science, Seite 178-193. Springer, (2013)Reachability Analysis for Termination and Confluence of Rewriting., und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 262-278. Springer, (2019)nonreach - A Tool for Nonreachability Analysis., und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 337-343. Springer, (2019)Certifying the Weighted Path Order (Invited Talk)., , , und . FSCD, Volume 167 von LIPIcs, Seite 4:1-4:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Imperative Insertion Sort.. Arch. Formal Proofs, (2014)Well-Quasi-Orders.. Arch. Formal Proofs, (2012)Transforming SAT into Termination of Rewriting., , und . WFLP, Volume 246 von Electronic Notes in Theoretical Computer Science, Seite 199-214. Elsevier, (2008)Getting Started with Isabelle/jEdit. CoRR, (2012)Certified Kruskal's Tree Theorem.. J. Formaliz. Reason., 7 (1): 45-62 (2014)