|
67
|
Context-Sensitive Computations in Functional and Functional Logic Programs
– Salvador Lucas
- 1998
|
|
30
|
Termination of on-demand rewriting and termination of OBJ programs
– Salvador Lucas
- 2001
|
|
822
|
Term rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
17
|
The Evaluation Strategy for Head Normal Form With and Without on-Demand Flags
– Masaki Nakamura, Kazuhiro Ogata
- 2001
|
|
138
|
Definitional Trees
– Sergio Antoy
- 1992
|
|
12
|
Lazy Rewriting and Context-Sensitive Rewriting
– Salvador Lucas
- 2002
|
|
27
|
Transforming Context-Sensitive Rewrite Systems
– Jürgen Giesl , Aart Middeldorp
- 1999
|
|
431
|
Rewriting
– Nachum Dershowitz, David A. Plaisted
- 2001
|
|
19
|
Context-sensitive AC-rewriting
– M C F Ferreira, A L Ribeiro
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
121
|
Principles of Maude
– Clavel Eker, M. Clavel, S. Eker, J. Meseguer
- 1996
|
|
723
|
Inductive-Data-Type Systems
– Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
- 2002
|
|
41
|
Context-Sensitive Rewriting Strategies
– Salvador Lucas
- 1997
|
|
25
|
An overview of CAFE specification environment – An algebraic approach for creating, verifying, and maintaining formal specification over networks
– K Futatsugi, A Nakagawa
- 1997
|
|
32
|
Termination of Context-Sensitive Rewriting
– H. Zantema
- 1997
|
|
98
|
Principles of OBJ2
– Kokichi Futatsugi, Joseph A Goguen, Jean-Pierre Jouannaud, Jose Meseguer
- 1985
|
|
27
|
Term rewriting with operator evaluation strategies, in
– Steven Eker
- 2000
|
|
28
|
Termination of context-sensitive rewriting by rewriting
– S Lucas
|
|
20
|
Termination of Rewriting with Strategy Annotations
– Salvador Lucas
- 2001
|
