Felix Schernhammer

Technische Universität Wien (Vienna University of Technology)
AB Theoretische Informatik und Logik (Theory and Logic Group E185-2)
Favoritenstrasse 9-11
A-1040 Wien
Austria

e-mail: 

Publications and Talks

• Felix Schernhammer and Bernhard Gramlich
  On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems
  In informal Proceedings of the 9th International Workshop on Termination (WST'07).
  Long Version: PDF
  
  
• Felix Schernhammer and Bernhard Gramlich
  Termination of Lazy Rewriting Revisited
  Technical Report E1852-2007-01, Vienna University of Technology 2007.
  Available: PDF Experiments
  
  
• Felix Schernhammer
  On Operational Termination of Deterministic Conditional TRSs.
  Talk at the 20th Nordic Workshop on Programming Theory 2008 (NWPT '08).
  Slides available: here


• Felix Schernhammer and Bernhard Gramlich
  Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting Systems.
  Technical Report E1852-2009-1, Vienna University of Technology, 2009 (revised version).
  Available: here


• Felix Schernhammer and Bernhard Gramlich
  VMTL - A Modular Termination Laboratory. In Proceedings of the 20th International Conference on Rewriting Techniques and Applications 2009 (RTA '09),
  Lecture Notes in Computer Science LNCS 5595, Springer-Verlag.
  Available: here


• Bernhard Gramlich and Felix Schernhammer
  Extending Context-Sensitivity in Term Rewriting
  In informal Proceedings of the 9th International Workshop in Reduction Strategies in Rewriting and Programming (WST' 09).
  Available: PDF
  
  
• Felix Schernhammer and Bernhard Gramlich
  Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite Systems
  In Journal of Logic and Algebraic Programming, Elsevier 2009, to appear.
  Technical Report Version: PDF
  
  
• Bernhard Gramlich and Felix Schernhammer
  Extending Context-Sensitivity in Term Rewriting
  Technical Report E1852-2009-02, Theory and Logic Group, Institute of Computer Languages, TU Wien, Austria, December 2009.
  Available: PDF