Felix Schernhammer

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c6		Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer: On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. RTA 2012: 193-208
	2011
c5		Felix Schernhammer, José Meseguer: Incremental checking of well-founded recursive specifications modulo axioms. PPDP 2011: 5-16
	2010
j2		Felix Schernhammer, Bernhard Gramlich: Characterizing and proving operational termination of deterministic conditional term rewriting systems. J. Log. Algebr. Program. 79(7): 659-688 (2010)
c4		Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer: On (Un)Soundness of Unravelings. RTA 2010: 119-134
c3		Bernhard Gramlich, Felix Schernhammer: Termination of Rewriting with and Automated Synthesis of Forbidden Patterns. IWS 2010: 35-50
	2009
c2		Felix Schernhammer, Bernhard Gramlich: VMTL-A Modular Termination Laboratory. RTA 2009: 285-294
c1		Bernhard Gramlich, Felix Schernhammer: Extending Context-Sensitivity in Term Rewriting. WRS 2009: 56-68
	2008
j1		Felix Schernhammer, Bernhard Gramlich: Termination of Lazy Rewriting Revisited. Electr. Notes Theor. Comput. Sci. 204: 35-51 (2008)

Coauthor Index

Last update Thu May 23 08:06:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page