Efficient Well-Definedness Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ádám Darvas, Farhad Mehta, Arsenii Rudich. Efficient Well-Definedness Checking. In Alessandro Armando, Peter Baumgartner, Gilles Dowek, editors, Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Volume 5195 of Lecture Notes in Computer Science, pages 100-115, Springer, 2008. [doi]

This author has not been identified. Look up 'Ádám Darvas' in GoogleThis author has not been identified. Look up 'Farhad Mehta' in GoogleThis author has not been identified. Look up 'Arsenii Rudich' in Google

runs on WebDSL