Thomas Sternagel and Christian - Free people check

(1 - 10 from 11

)

Christian Sternagel - Archive of Formal Proofs

afp.theoremproving.org

Regular Tree Relations by Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann and Thomas Sternagel. › authors › christian-ster...

Automated Deduction – CADE 26: 26th International Conference ...

books.google.at

413 Christian Sternagel and Thomas Sternagel Contents A Transfinite Knuth–Bendix Order for Lambda-Free Higher-Order Terms . X Contents.

CoCo Participant: CeTA 2.21∗ - Julian Nagele

jnagele.net

by J Nagele — Julian Nagele, Christian Sternagel, Thomas Sternagel,. René Thiemann, Sarah Winkler and Harald Zankl. Institute of Computer Science, University of Innsbruck ... by J Nagele — Julian Nagele, Christian Sternagel, and Thomas Sternagel. Department of Computer Science, University of Innsbruck, Austria. › publications › CeTA-IWC15 › publications › CeTA-IWC17

CiteSeerX — Recording completion for finding and certifying proofs in...

citeseerx.ist.psu.edu

BibTeX @INPROCEEDINGS{Sternagel_recordingcompletion, author = {Thomas Sternagel and Rene ́ Thiemann and Harald Zankl and Christian Sternagel}, title = {Recording completion for finding and certifying proofs in equational logic}, booktitle = {In International Workshop on Confluence, IWC’12}, year = {}, pages = { }}

CiteSeerX — Level-Confluence of 3-CTRSs in Isabelle/HOL∗

citeseerx.ist.psu.edu

@MISC{Sternagel_level-confluenceof, author = {Christian Sternagel and Thomas Sternagel}, title = {Level-Confluence of 3-CTRSs in Isabelle/HOL∗}, year = {}} We present an Isabelle/HOL formalization of an earlier result by Suzuki, Middeldorp, and Ida; namely that a certain class of conditional ...

Recording Completion for Finding and Certifying Proofs dblp

dblp.uni-trier.de

13 Aug — Thomas Sternagel et al. (2012). top; bottom. mirror. Trier ... Thomas Sternagel, René Thiemann, Harald Zankl, Christian Sternagel: › rec › corr › abs

Christian Sternagel - dblp

dblp.uni-trier.de

/HOL Thomas Sternagel, Christian Sternagel: A Characterization of ...

All web results to the name "Thomas Sternagel"

CADE-26: Accepted Papers - Chalmers

www.cse.chalmers.se

Christian Sternagel and Thomas Sternagel. Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems. › ~myreen › accepted

Regular Tree Relations - Archive of Formal Proofs

www.isa-afp.org

15 Dec — ... Bertram Felgenhauer, Christian Sternagel, René Thiemann (rene /dot/ thiemann /at/ uibk /dot/ ac /dot/ at) and Thomas Sternagel. › entries › Regular_Tree_Relati...

Julian Nagele

jnagele.net

Julian Nagele, Christian Sternagel, Thomas Sternagel, René Thiemann, Sarah Winkler and Harald Zankl CoCo Participant: CeTA In Proceedings of the 4th International Workshop on Confluence , p. 41, Julian Nagele and René Thiemann Certification of Confluence Proofs using CeTA

Related search requests for Thomas Sternagel

Aart Middeldorp
René Thiemann
Till Schaller

Cezary Kaliszyk
Gunther Klessinger
Harald Zankl

Christian Sternagel
Bertram Felgenhauer
Stephan Schulz

People
Forename "Thomas" (110234)
Name "Sternagel" (14)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Thomas Sternagel and Christian Free People Check