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.

Extensible Hierarchical Tactic Construction in a Logical Framework

Jason Hickey, Aleksey Nogin. Extensible Hierarchical Tactic Construction in a Logical Framework. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan, editors, Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Volume 3223 of Lecture Notes in Computer Science, pages 136-151, Springer, 2004. [doi]

Authors

Jason Hickey

This author has not been identified. Look up 'Jason Hickey' in Google

Aleksey Nogin

This author has not been identified. Look up 'Aleksey Nogin' in Google
runs on