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.

Mechanizing Relevant Logics with HOL

Hajime Sawamura, Daisaku Asanuma. Mechanizing Relevant Logics with HOL. In Jim Grundy, Malcolm C. Newey, editors, Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs 98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Volume 1479 of Lecture Notes in Computer Science, pages 443-460, Springer, 1998.

Authors

Hajime Sawamura

This author has not been identified. Look up 'Hajime Sawamura' in Google

Daisaku Asanuma

This author has not been identified. Look up 'Daisaku Asanuma' in Google
runs on