Existential Quantifiers in Abstract Data Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing. Existential Quantifiers in Abstract Data Types. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 73-87, Springer, 1979.

This author has not been identified. Look up 'Manfred Broy' in GoogleThis author has not been identified. Look up 'Walter Dosch' in GoogleThis author has not been identified. Look up 'Helmuth Partsch' in GoogleThis author has not been identified. Look up 'Peter Pepper' in GoogleThis author has not been identified. Look up 'Martin Wirsing' in Google

runs on WebDSL