Travelled to:1 × Brazil
1 × Denmark
1 × Japan
1 × United Kingdom
Collaborated with:B.Gramlich K.Gmeiner J.Meseguer
Talks about:unravel (2) condit (2) sound (2) determinist (1) laboratori (1) increment (1) modular (1) termin (1) system (1) specif (1)
Person: Felix Schernhammer
DBLP: Schernhammer:Felix
Contributed to:
2012
201120102009Wrote 4 papers:
- RTA-2012-GmeinerGS #on the #term rewriting
- On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (KG, BG, FS), pp. 193–208.
- PPDP-2011-SchernhammerM #axiom #incremental #recursion #specification
- Incremental checking of well-founded recursive specifications modulo axioms (FS, JM), pp. 5–16.
- RTA-2010-GmeinerGS #on the
- On (Un)Soundness of Unravelings (KG, BG, FS), pp. 119–134.
- RTA-2009-SchernhammerG #composition #named #termination
- VMTL — A Modular Termination Laboratory (FS, BG), pp. 285–294.