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.

LFSC for SMT Proofs: Work in Progress

Aaron Stump, Andrew Reynolds 0001, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang. LFSC for SMT Proofs: Work in Progress. In David Pichardie, Tjark Weber, editors, Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. Volume 878 of CEUR Workshop Proceedings, pages 21-27, CEUR-WS.org, 2012. [doi]

Authors

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google

Andrew Reynolds 0001

This author has not been identified. Look up 'Andrew Reynolds 0001' in Google

Cesare Tinelli

This author has not been identified. Look up 'Cesare Tinelli' in Google

Austin Laugesen

This author has not been identified. Look up 'Austin Laugesen' in Google

Harley Eades III

This author has not been identified. Look up 'Harley Eades III' in Google

Corey Oliver

This author has not been identified. Look up 'Corey Oliver' in Google

Ruoyu Zhang

This author has not been identified. Look up 'Ruoyu Zhang' in Google
runs on