BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schernhammer:Felix

Contributed to:

RTA 20122012
PPDP 20112011
RTA 20102010
RTA 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.