ELAN from a rewriting logic point of view☆
Under an Elsevier user license
open archive
Keywords
Computational system
Conditional rewriting logic
Strategy theory
Rule-based programming
Rewriting calculus
Cited by (0)
- ☆
This work has been partially supported by the Esprit Basic Research Working Group 22457, Construction of Computational Logics II.
Copyright © 2002 Elsevier Science B.V. All rights reserved.