2005
Generalized innermost rewriting
Publication
Publication
Presented at the
International Conference on Rewriting Techniques and Applications
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Conference on Rewriting Techniques and Applications | |
| Organisation | Specification and Analysis of Embedded Systems |
|
van de Pol, J., & Zantema, H. (2005). Generalized innermost rewriting. In Proceedings of 16th International Conference on Term Rewriting and Applications 2005 (pp. 2–16). Springer. |
|