1
0
0
News
Bücher
Theory Adhoc_Overloading - Isabelle
isabelle.in.tum.de
(* Title: HOL/Library/Adhoc_Overloading.thy Author: Alexander Krauss, TU Muenchen Author: Christian Sternagel, University of Innsbruck *) section ‹Adhoc ... › HOL
Dokumente zum Namen
Certified ACKBO | Proceedings of the 8th ACM SIGPLAN ...
dl.acm.org
von A Lochmann · — Christian Sternagel. University of Innsbruck, Austria. University of Innsbruck, Austria. View Profile. Authors Info & Claims. › doi › abs
CoCo Participant: CeTA 2.21∗ - Julian Nagele
jnagele.net
von J Nagele — Julian Nagele, Christian Sternagel, Thomas Sternagel,. René Thiemann, Sarah Winkler and Harald Zankl. Institute of Computer Science, University of Innsbruck ... › publications › CeTA-IWC15
Curriculum Vitae Julian Parsert
www.parsert.com
[4] Florian Meßner, Julian Parsert, Schöpf Jonas, and Christian Sternagel. A Formally Verified. Solver for Homogeneous Linear Diophantine Equations. › documents
Wissenschaftliche Veröffentlichungen
Aart Middeldorp - dblp
dblp.uni-trier.de
— Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler : Abstract Completion, Formalized. Log. Methods Comput. Sci. › pid › AM...
Veröffentlichungen allgemein
Certified Kruskal's Tree Theorem | SpringerLink
link.springer.com
von C Sternagel · · Zitiert von: 8 — Christian Sternagel. Conference paper Accesses. 2 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume 8307) ... von M Korp · · Zitiert von: 166 — Martin Korp,; Christian Sternagel, … Harald Zankl &; Aart Middeldorp. Show authors. Conference paper Accesses. 53 Citations. › chapter
Artikel & Meinungen
Google Groups: [Caml-list] Format.printf - Google Groups
[Caml-list] Format.printf · Christian Sternagel · Paolo Donadeo. › fa.caml
Sonstiges
Diskrete Mathematik. Anna-Lena Rädler Christina Kohl Georg ...
docplayer.org
Diskrete Mathematik Anna-Lena Rädler Christina Kohl Georg Moser Christian Sternagel Vincent van Oostrom Institut für UIBK Sommersemester Organisation ... › Diskrete-mathematik-...
Aikidoclub Innsbruck
www.aikido-innsbruck.at
Dojo ArzlInnsbruck. Christian Sternagel, 1. Dan. Do Alle, 19: :15, Dojo ArzlInnsbruck. Gerald Gunsch, 6. Dan ...
Certified Subterm Criterion and Certified Usable Rules - DROPS
drops.dagstuhl.de
von C Sternagel · · Zitiert von: 10 — @InProceedings{sternagel_et_al:LIPIcs:2010:2661, author = {Christian Sternagel and Ren{\'e} Thiemann}, title = {{Certified Subterm Criterion and Certified ... › volltexte
Foundational (Co)datatypes and (Co Dmitriy Traytel
traytel.bitbucket.io
... Johannes Hölzl, Ondřej Kunčar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel. › papers
Functional Algorithms, Verified!
functional-algorithms-verified.org
Functional Algorithms, Verified! Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, ...
Utility.thy
ist.ksc.kwansei.ac.jp
Title: Executable Matrix Operations on Matrices of Arbitrary Dimensions Author: Christian Sternagel René Thiemann ... › ~ktaka
[ ] CeTA - A Tool for Certified Termination Analysis
arxiv-export1.library.cornell.edu
From: Christian Sternagel [view email] [v1] Wed, 8 Aug :16:18 GMT (10kb). Which authors of this paper are endorsers? | Disable MathJax (What is ... › ...
https://hackage.haskell.org/package/term-rewriting...
hackage.haskell.org
... Bertram Felgenhauer, Christian Sternagel, Ilya Epifanov homepage: http://cl-informatik.uibk.ac.at/software/haskell-rewriting/ maintainer: ... › package
A Haskell Library for Term Rewriting | Papers With Code
paperswithcode.com
9 Jul · Bertram Felgenhauer, Martin Avanzini, Christian Sternagel · Edit social preview. We present a Haskell library for first-order term rewriting ... › paper
Verwandte Suchanfragen zu Christian Sternagel
Harald Zankl Bertram Felgenhauer Aart Middeldorp | René Thiemann |
Personen Vorname "Christian" (95886) Name "Sternagel" (72) |
sortiert nach Relevanz / Datum