Generalized innermost rewriting

DOI10.1007/978-3-540-32033-3_2MaRDI QIDQ5703854zbMATH OpenOpenAlexFDO

Authors Jaco van de Pol, Hans Zantema

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b135673

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Generalized rewrite theories
• scientific article; zbMATH DE number 4126684
• scientific article; zbMATH DE number 827981
• Reachability analysis of innermost rewriting
• Reachability analysis of innermost rewriting
• Generalized rewrite theories and coherence completion
• Rewriting with generalized nominal unification
• Generalized rewrite theories, coherence completion, and symbolic methods
• Rewriting Techniques and Applications
• Infinitary rewriting: foundations revisited

Cited in

(6)

• Conservativity of nested relational calculi with internal generic functions
• Termination of Priority Rewriting
• On proving termination by innermost termination
• Natural Rewriting for General Term Rewriting Systems
• Orderings for innermost termination
• Normalization by leftmost innermost rewriting

Describes a project that uses

Uses Software

• JITty

This page was built for publication: Generalized innermost rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703854)