Transforming Outermost into Context-Sensitive Rewriting

DOI10.2168/LMCS-6(2:5)2010zbMath1191.68362MaRDI QIDQ3575304

Jörg Endrullis, Dimitri Hendriks

Publication date: 27 July 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

terminationterm rewritingcontext-sensitive rewritingoutermost rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Transducer degrees: atoms, infima and suprema ⋮ Lazy productivity via termination ⋮ Applications and extensions of context-sensitive rewriting

This page was built for publication: Transforming Outermost into Context-Sensitive Rewriting