The following pages link to Felix Schernhammer (Q710678):
Displayed 4 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Termination of Lazy Rewriting Revisited (Q2873676) (← links)
- On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (Q5111905) (← links)
- ON (UN)SOUNDNESS OF UNRAVELINGS (Q5389139) (← links)