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.

Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language

Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli. Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. In FMCAD. pages 65-74, 2022. [doi]

Authors

Andres Nötzli

This author has not been identified. Look up 'Andres Nötzli' in Google

Haniel Barbosa

This author has not been identified. Look up 'Haniel Barbosa' in Google

Aina Niemetz

This author has not been identified. Look up 'Aina Niemetz' in Google

Mathias Preiner

This author has not been identified. Look up 'Mathias Preiner' in Google

Andrew Reynolds 0001

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

Clark W. Barrett

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

Cesare Tinelli

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