Rewriting Environment for Arithmetic Circuit Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski. Rewriting Environment for Arithmetic Circuit Verification. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. Volume 57 of EPiC Series in Computing, pages 656-666, EasyChair, 2018. [doi]

This author has not been identified. Look up 'Cunxi Yu' in GoogleThis author has not been identified. Look up 'Atif Yasin' in GoogleThis author has not been identified. Look up 'Tiankai Su' in GoogleThis author has not been identified. Look up 'Alan Mishchenko' in GoogleThis author has not been identified. Look up 'Maciej J. Ciesielski' in Google

runs on WebDSL