Christian Sternagel

Homepages 🌐

• http://cl-informatik.uibk.ac.at/users/griff/

E-Mails 📧

• moc.liamg@leganrets.c

Entries

2021

Regular Tree Relations

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

Dec 15

A Formalization of Weighted Path Orders and Recursive Path Orders

by Christian Sternagel, René Thiemann and Akihisa Yamada

Sep 16

2020

A Formalization of Knuth–Bendix Orders

by Christian Sternagel and René Thiemann

May 13

2018

First-Order Terms

by Christian Sternagel and René Thiemann

Feb 06

2017

Homogeneous Linear Diophantine Equations

by Florian Messner, Julian Parsert, Jonas Schöpf and Christian Sternagel

Oct 14

HOLCF-Prelude

by Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel

Jul 15

2016

The Z Property

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

Jun 30

2015

Deriving class instances for datatypes

by Christian Sternagel and René Thiemann

Mar 11

2014

XML

by Christian Sternagel, René Thiemann and Akihisa Yamada

Oct 03

Certification Monads

by Christian Sternagel and René Thiemann

Oct 03

Imperative Insertion Sort

by Christian Sternagel

Sep 25

Haskell's Show Class in Isabelle/HOL

by Christian Sternagel and René Thiemann

Jul 29

2012

Open Induction

by Mizuhito Ogawa and Christian Sternagel

Nov 02

Well-Quasi-Orders

by Christian Sternagel

Apr 13

2011

Efficient Mergesort

by Christian Sternagel

Nov 09

Executable Transitive Closures of Finite Relations

by Christian Sternagel and René Thiemann

Mar 14

2010

Executable Multivariate Polynomials

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

Aug 10

Executable Matrix Operations on Matrices of Arbitrary Dimensions

by Christian Sternagel and René Thiemann

Jun 17

Abstract Rewriting

by Christian Sternagel and René Thiemann

Jun 14