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.

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide. Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput., 23(5):607-626, 2011. [doi]

Authors

Murali Sitaraman

This author has not been identified. Look up 'Murali Sitaraman' in Google

Bruce M. Adcock

This author has not been identified. Look up 'Bruce M. Adcock' in Google

Jeremy Avigad

This author has not been identified. Look up 'Jeremy Avigad' in Google

Derek Bronish

This author has not been identified. Look up 'Derek Bronish' in Google

Paolo Bucci

This author has not been identified. Look up 'Paolo Bucci' in Google

David Frazier

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

Harvey M. Friedman

This author has not been identified. Look up 'Harvey M. Friedman' in Google

Heather K. Harton

This author has not been identified. Look up 'Heather K. Harton' in Google

Wayne D. Heym

This author has not been identified. Look up 'Wayne D. Heym' in Google

Jason Kirschenbaum

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

Joan Krone

This author has not been identified. Look up 'Joan Krone' in Google

Hampton Smith

This author has not been identified. Look up 'Hampton Smith' in Google

Bruce W. Weide

This author has not been identified. Look up 'Bruce W. Weide' in Google
runs on