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.

Replacement Can Preserve Termination

Annalisa Bossi, Nicoletta Cocco. Replacement Can Preserve Termination. In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 104-129, Springer, 1996.

Authors

Annalisa Bossi

This author has not been identified. Look up 'Annalisa Bossi' in Google

Nicoletta Cocco

This author has not been identified. Look up 'Nicoletta Cocco' in Google
runs on