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.

Computational Properties of Term Rewriting with Replacement Restrictions

Salvador Lucas. Computational Properties of Term Rewriting with Replacement Restrictions. In Moreno Falaschi, Marisa Navarro, Alberto Policriti, editors, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997. pages 393-404, 1997.

Abstract

Abstract is missing.

runs on