Dr. David Sabel

former member
New website: www.davidsabel.de

Postal Address:	Dr. David Sabel Professur KIST Institut für Informatik FB Mathematik und Informatik (12) Johann Wolfgang Goethe-Universität D-60629 Frankfurt am Main Germany
E-Mail:
This website is outdated, new homepage: www.davidsabel.de Publications [ DBLP \| ACM DL \| Google Scholar ] DFG-Project: Observational correctness of programming language translations Events: WPTE 2016: Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction IJCAI 2016: 25th International Joint Conference on Artificial Intelligence ISR 2015: International School on Rewriting TermComp 2015:Termination Competition 2015 WPTE 2015: Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation RTA/TLCA 2014: Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) Misc
$Author: sabel $, $Date: 2016/05/15 20:05:45 $
uni ffm © 1997, 2004