Christian Sternagel

Regular Tree Relations
by Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann and Thomas Sternagel

A Formalization of Weighted Path Orders and Recursive Path Orders
by Christian Sternagel, René Thiemann and Akihisa Yamada

A Formalization of Knuth–Bendix Orders
by Christian Sternagel and René Thiemann

First-Order Terms
by Christian Sternagel and René Thiemann

Homogeneous Linear Diophantine Equations
by Florian Messner, Julian Parsert, Jonas Schöpf and Christian Sternagel

HOLCF-Prelude
by Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel

The Z Property
by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel

Deriving class instances for datatypes
by Christian Sternagel and René Thiemann

XML
by Christian Sternagel and René Thiemann

Certification Monads
by Christian Sternagel and René Thiemann

Imperative Insertion Sort
by Christian Sternagel

Haskell's Show Class in Isabelle/HOL
by Christian Sternagel and René Thiemann

Open Induction
by Mizuhito Ogawa and Christian Sternagel

Well-Quasi-Orders
by Christian Sternagel

Efficient Mergesort
by Christian Sternagel

Executable Transitive Closures of Finite Relations
by Christian Sternagel and René Thiemann

Executable Multivariate Polynomials
by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp

Executable Matrix Operations on Matrices of Arbitrary Dimensions
by Christian Sternagel and René Thiemann

Abstract Rewriting
by Christian Sternagel and René Thiemann