Over-approximating Descendants by Synchronized Tree Languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yohan Boichut, Jacques Chabin, Pierre Réty. Over-approximating Descendants by Synchronized Tree Languages. In Femke van Raamsdonk, editor, 24th International Conference on Rewriting Techniques and Applications (RTA 2013), RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands. Volume 21 of LIPIcs, pages 128-142, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

This author has not been identified. Look up 'Yohan Boichut' in GoogleThis author has not been identified. Look up 'Jacques Chabin' in GoogleThis author has not been identified. Look up 'Pierre Réty' in Google

runs on WebDSL