Order-Sorted Algebra solves the Constructor-Selector, Multiple - researchr publication

researchr

You are not signed in
Sign in
Sign up

Joseph A. Goguen, José Meseguer. Order-Sorted Algebra solves the Constructor-Selector, Multiple. In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 18-29, IEEE Computer Society, 1987.

Abstract is missing.

runs on WebDSL