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.

Adding sorts to TRSs: a result on modularity of termination

Paola Inverardi, Monica Nesi. Adding sorts to TRSs: a result on modularity of termination. In Maria Chiara Meo, Manuel Vilares Ferro, editors, 1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999. pages 273-288, 1999.

Authors

Paola Inverardi

This author has not been identified. Look up 'Paola Inverardi' in Google

Monica Nesi

This author has not been identified. Look up 'Monica Nesi' in Google
runs on