Context-Sensitive Rewriting Strategies (1997)

Cached

Download Links

by Salvador Lucas
Citations:43 - 30 self

Documents Related by Co-Citation

69 Context-Sensitive Computations in Functional and Functional Logic Programs – Salvador Lucas - 1998
36 Transformation Techniques for Context-Sensitive Rewrite Systems – Jürgen Giesl, Aart Middeldorp - 2004
29 Recursive Path Orderings can be Context-Sensitive – Cristina Borralleras, Salvador Lucas, Albert Rubio - 2002
32 Termination of Context-Sensitive Rewriting – H. Zantema - 1997
25 Transforming Context-Sensitive Rewrite Systems – Jürgen Giesl , Aart Middeldorp - 1999
30 Termination of on-demand rewriting and termination of OBJ programs – Salvador Lucas - 2001
21 mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting – Salvador Lucas - 2004
44 2000, “Termination of term rewriting using dependency pairs”, Theoretical Computer Science 236(1–2):133 – Thomas Arts, Jürgen Giesl, Apr
23 Polynomials for Proving Termination of Context-Sensitive Rewriting – Salvador Lucas - 2004
28 Term Rewriting with Operator Evaluation Strategy – S Eker - 1998
27 Termination of context-sensitive rewriting by rewriting – S Lucas
20 Context-sensitive AC-rewriting – M C F Ferreira, A L Ribeiro - 1999
75 Advanced Topics in Term Rewriting – E Ohlebusch - 2002
21 Termination of Rewriting with Strategy Annotations – Salvador Lucas - 2001
18 Simple Termination of Context-Sensitive Rewriting – Bernhard Gramlich, Salvador Lucas - 2002
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
90 AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework – Jürgen Giesl, Peter Schneider-kamp, René Thiemann - 2006
26 Context-sensitive dependency pairs – Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas - 2006
9 Modular termination of context-sensitive rewriting – Bernhard Gramlich, Salvador Lucas - 2002