Thomas Sternagel and Computer - Free people check

(1 - 8 from 9

)

Thomas STERNAGEL | UIBK | Department of Computer Science

www.researchgate.net

› University of Innsbruck

Thomas Sternagel - Logical Methods in Computer Science

lmcs.episciences.org

› index › author_fullname_t

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

dblp: BibTeX records: Thomas Sternagel

dblp.uni-trier.de

List of computer science publications by BibTeX records: Thomas Sternagel

dblp: Thomas Sternagel

dblp.uni-trier.de

List of computer science publications by Thomas Sternagel

All web results to the name "Thomas Sternagel"

Thomas Sternagel

cl-informatik.uibk.ac.at

Thomas Sternagel . Home Projects Publications Talks Software Teaching. publications. journal articles papers in proceedings thesis others. Journal Articles. C. Kop and A. Middeldorp and T. Sternagel Complexity of Conditional Term Rewriting Logical Methods in Computer Science ,

Thomas Sternagel

cl-informatik.uibk.ac.at

Institute of Computer Science · University of Innsbruck · Austria. room: 3M03. phone: + email: thomas.sternagel__AT__uibk.ac.at. PGP key.

References - Electronic Proceedings in Theoretical Computer Scienceeptcs.web.cse.unsw.edu.au/references.cgi?UITP html

eptcs.web.cse.unsw.edu.au

Springer, pp. 243–258, doi: _17. Thomas Sternagel & Harald Zankl (2012): KBCV – Knuth-Bendix Completion Visualizer. In: Proc.

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 Computer Free People Check