External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specification of reduction strategies in term rewriting systems

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. Specification of reduction strategies in term rewriting systems. In Joseph H. Fasel, Robert M. Keller, editors, Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Volume 279 of Lecture Notes in Computer Science, pages 215-239, Springer, 1986.

Authors

Marko C. J. D. van Eekelen

This author has not been identified. Look up 'Marko C. J. D. van Eekelen' in Google

Marinus J. Plasmeijer

Identified as Marinus J. Plasmeijer
runs on