Felix Schernhammer

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Rewrite Systems

Quantifier Free

Top Venues

Publications

Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. RTA (2012)
Felix Schernhammer, José Meseguer
Incremental checking of well-founded recursive specifications modulo axioms. PPDP (2011)
Felix Schernhammer, Bernhard Gramlich
Characterizing and proving operational termination of deterministic conditional term rewriting systems. J. Log. Algebraic Methods Program. 79 (7) (2010)
Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer
On (Un)Soundness of Unravelings. RTA (2010)
Bernhard Gramlich, Felix Schernhammer
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns IWS (2010)
Felix Schernhammer, Bernhard Gramlich
VMTL-A Modular Termination Laboratory. RTA (2009)
Bernhard Gramlich, Felix Schernhammer
Extending Context-Sensitivity in Term Rewriting WRS (2009)
Felix Schernhammer, Bernhard Gramlich
Termination of Lazy Rewriting Revisited. Electron. Notes Theor. Comput. Sci. 204 (2008)