Christian Sternagel Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené Thiemann, Christian Sternagel: Loops under Strategies. RTA 2009: 17-31
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené Thiemann, Christian Sternagel: Certification of Termination Proofs Using CeTA. TPHOLs 2009: 452-468
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Zankl, Christian Sternagel, Aart Middeldorp: Transforming SAT into Termination of Rewriting. Electr. Notes Theor. Comput. Sci. 246: 199-214 (2009)
2008
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Sternagel, Aart Middeldorp: Root-Labeling. RTA 2008: 336-350

Coauthor Index

1Martin Korp [4]
2Aart Middeldorp [1] [2] [4]
3René Thiemann [3] [5]
4Harald Zankl [2] [4]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)