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.

Deciding Local Theory Extensions via E-matching

Kshitij Bansal, Andrew Reynolds, Tim King 0001, Clark W. Barrett, Thomas Wies. Deciding Local Theory Extensions via E-matching. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Volume 9207 of Lecture Notes in Computer Science, pages 87-105, Springer, 2015. [doi]

Authors

Kshitij Bansal

This author has not been identified. Look up 'Kshitij Bansal' in Google

Andrew Reynolds

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

Tim King 0001

This author has not been identified. Look up 'Tim King 0001' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Thomas Wies

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