A Tool for Testing Confluence of Production Rules - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

James G. Schmolze, Wayne Snyder. A Tool for Testing Confluence of Production Rules. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 91-104, ADERIAS-LIA, Universite de Savoie, 1995.

This author has not been identified. Look up 'James G. Schmolze' in GoogleThis author has not been identified. Look up 'Wayne Snyder' in Google

runs on WebDSL