External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

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.

Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification

Klaus Schneider, Ramayya Kumar, Thomas Kropf. Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. In Jeffrey J. Joyce, Carl-Johan H. Seger, editors, Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG 93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Volume 780 of Lecture Notes in Computer Science, pages 385-398, Springer, 1993.

Authors

Klaus Schneider

This author has not been identified. Look up 'Klaus Schneider' in Google

Ramayya Kumar

This author has not been identified. Look up 'Ramayya Kumar' in Google

Thomas Kropf

This author has not been identified. Look up 'Thomas Kropf' in Google
runs on