Pushouts of Order-Sorted Algebraic Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anne Elisabeth Haxthausen, Friederike Nickl. Pushouts of Order-Sorted Algebraic Specifications. 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 132-147, Springer, 1996.

This author has not been identified. Look up 'Anne Elisabeth Haxthausen' in GoogleThis author has not been identified. Look up 'Friederike Nickl' in Google

runs on WebDSL