Rewriting-based Quantifier-free Interpolation for a Theory of Arrays - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise. Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. In Manfred Schmidt-Schauß, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. Volume 10 of LIPIcs, pages 171-186, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

This author has not been identified. Look up 'Roberto Bruttomesso' in GoogleThis author has not been identified. Look up 'Silvio Ghilardi' in GoogleThis author has not been identified. Look up 'Silvio Ranise' in Google

runs on WebDSL