Felix Schernhammer

According to our database, Felix Schernhammer authored at least 8 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.

Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011

Incremental checking of well-founded recursive specifications modulo axioms.

Felix Schernhammer, José Meseguer

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010

Characterizing and proving operational termination of deterministic conditional term rewriting systems.

Felix Schernhammer, Bernhard Gramlich

J. Log. Algebraic Methods Program., 2010

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

Bernhard Gramlich, Felix Schernhammer

Proceedings of the Proceedings International Workshop on Strategies in Rewriting, 2010

On (Un)Soundness of Unravelings.

Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

Extending Context-Sensitivity in Term Rewriting

Bernhard Gramlich, Felix Schernhammer

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

VMTL-A Modular Termination Laboratory.

Felix Schernhammer, Bernhard Gramlich

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2007

Termination of Lazy Rewriting Revisited.

Felix Schernhammer, Bernhard Gramlich

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007