Free Variable Tableaux for a Many Sorted Logic with Preorders - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonio Gavilanes, Javier Leach, Susana Nieva. Free Variable Tableaux for a Many Sorted Logic with Preorders. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 102-116, Springer, 1996.

This author has not been identified. Look up 'Antonio Gavilanes' in GoogleThis author has not been identified. Look up 'Javier Leach' in GoogleThis author has not been identified. Look up 'Susana Nieva' in Google

runs on WebDSL