Searching for "Termination of rewriting under strategies." – sorted by Relevance.
-
Specification techniques; F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN-
- Termination of Rewriting under Strategies* ISABELLE GNAEDIG and HÉLÈNE KIRCHNER INRIA & LORIA (UMR
- Add To MetaCart
-
Termination of Rewriting with Strategy Annotations
- of CSR with termination of rewriting under E- and van de Pol strategies. Section 6 investigates how
- Cited by 15 (13 self) – Add To MetaCart
-
Proving Termination of Sequential Reduction Relation using Tree Automata
- of rewriting under any strategy of application of the rules, but only under a "normalising strategy
- Cited by 1 (1 self) – Add To MetaCart
-
Correct and complete (positive) strategy annotations for OBJ
- below for a formal justification of this claim). Termination of rewriting under strategy annotations has
- Cited by 13 (9 self) – Add To MetaCart

