Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures

DOI10.1007/978-3-642-11999-6_4MaRDI QIDQ3557094zbMATH OpenOpenAlexFDO

Authors Stephan Falke, Deepak Kapur

Publication date 27 April 2010

Published in Functional and Constraint Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11999-6_4

Mathematics Subject Classification ID

Data structures (68P05) Grammars and rewriting systems (68Q42)

Recommendations

• Operational termination of conditional rewriting with built-in numbers and semantic data structures
• scientific article; zbMATH DE number 2102742
• Termination of context-sensitive rewriting
• scientific article; zbMATH DE number 2090080
• Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
• Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
• scientific article; zbMATH DE number 1948501
• Termination of rewriting in the Calculus of Constructions
• Applications and extensions of context-sensitive rewriting
• Using context-sensitive rewriting for proving innermost termination of rewriting

Cited in

(3)

• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
• Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
• Applications and extensions of context-sensitive rewriting

Describes a project that uses

Uses Software

• AProVE
• Tyrolean
• Maude

This page was built for publication: Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures

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