Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
From MaRDI portal
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)
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)