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.

Duality-based interpolation for quantifier-free equalities and uninterpreted functions

Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina. Duality-based interpolation for quantifier-free equalities and uninterpreted functions. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 39-46, IEEE, 2017. [doi]

Authors

Leonardo Alt

This author has not been identified. Look up 'Leonardo Alt' in Google

Antti Eero Johannes Hyvärinen

This author has not been identified. Look up 'Antti Eero Johannes Hyvärinen' in Google

Sepideh Asadi

This author has not been identified. Look up 'Sepideh Asadi' in Google

Natasha Sharygina

This author has not been identified. Look up 'Natasha Sharygina' in Google
runs on