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.

Rewriting Logic as a Metalogical Framework

David A. Basin, Manuel Clavel, José Meseguer. Rewriting Logic as a Metalogical Framework. In Sanjiv Kapoor, Sanjiva Prasad, editors, Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings. Volume 1974 of Lecture Notes in Computer Science, pages 55-80, Springer, 2000. [doi]

Authors

David A. Basin

This author has not been identified. Look up 'David A. Basin' in Google

Manuel Clavel

This author has not been identified. It may be one of the following persons: Look up 'Manuel Clavel' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google
runs on