Proving Implications by Algebraic Approximation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Codish, Grigory Mashevitzky. Proving Implications by Algebraic Approximation. In Giorgio Levi, Mario Rodríguez-Artalejo, editors, Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings. Volume 850 of Lecture Notes in Computer Science, pages 6-22, Springer, 1994.

This author has not been identified. Look up 'Michael Codish' in GoogleThis author has not been identified. Look up 'Grigory Mashevitzky' in Google

runs on WebDSL