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