MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination of rewriting under strategies." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Specification techniques; F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN-
by Isabelle Gnaedig, Hélène Kirchner
…Termination of Rewriting under Strategies* ISABELLE GNAEDIG and HÉLÈNE KIRCHNER INRIA & LORIA (UMR…
Add To MetaCart

Termination of Rewriting with Strategy Annotations
by Salvador Lucas — 2001 — Proc. of 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR'01, LNAI 2250:669-684
… 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
by Thomas Genet — 1997
… 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
by María Alpuente, Santiago Escobar, Salvador Lucas — 2002 — Electronic Notes in Theoretical Computer Science
… below for a formal justification of this claim). Termination of rewriting under strategy annotations has…
Cited by 13 (9 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB