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

DOI10.1007/978-3-642-11999-6_4zbMath1274.68149OpenAlexW1567063112MaRDI QIDQ3557094

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

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

Related Items (1)

Applications and extensions of context-sensitive rewriting

Uses Software

• Maude
• Tyrolean
• AProVE

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