Small Proofs from Congruence Closure - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha. Small Proofs from Congruence Closure. In FMCAD. pages 75-83, 2022. [doi]

This author has not been identified. Look up 'Oliver Flatt' in GoogleThis author has not been identified. Look up 'Samuel Coward' in GoogleThis author has not been identified. Look up 'Max Willsey' in GoogleThis author has not been identified. Look up 'Zachary Tatlock' in GoogleThis author has not been identified. Look up 'Pavel Panchekha' in Google

runs on WebDSL