|
32
|
Termination of Context-Sensitive Rewriting
– H. Zantema
- 1997
|
|
27
|
Transforming Context-Sensitive Rewrite Systems
– Jürgen Giesl , Aart Middeldorp
- 1999
|
|
41
|
Context-Sensitive Rewriting Strategies
– Salvador Lucas
- 1997
|
|
28
|
Termination of context-sensitive rewriting by rewriting
– S Lucas
|
|
34
|
Transformation Techniques for Context-Sensitive Rewrite Systems
– Jürgen Giesl, Aart Middeldorp
- 2004
|
|
30
|
Recursive Path Orderings can be Context-Sensitive
– Cristina Borralleras, Salvador Lucas, Albert Rubio
- 2002
|
|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
19
|
Context-sensitive AC-rewriting
– M C F Ferreira, A L Ribeiro
|
|
44
|
Termination of Term Rewriting Using Dependency Pairs. Theoretical Computer Science 236:133–178
– T Arts, J Giesl
- 2000
|
|
432
|
Rewriting
– Nachum Dershowitz, David A. Plaisted
- 2001
|
|
19
|
Simple Termination of Context-Sensitive Rewriting
– Bernhard Gramlich, Salvador Lucas
- 2002
|
|
27
|
Term rewriting with operator evaluation strategies, in
– Steven Eker
- 2000
|
|
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
|
|
195
|
Termination of Term Rewriting Using Dependency Pairs
– Thomas Arts, Jürgen Giesl
- 2000
|
|
253
|
Orderings for term-rewriting systems
– N Dershowitz
- 1982
|
|
98
|
Principles of OBJ2
– Kokichi Futatsugi, Joseph A Goguen, Jean-Pierre Jouannaud, Jose Meseguer
- 1985
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
19
|
Proving termination of membership equational programs
– F Durán, S Lucas, J Meseguer, C Marché, X Urbain
- 2004
|
