MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Homomorphism Preserving Algebraic Specifications Require Hidden Sorts" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Homomorphism Preserving Algebraic Specifications Require Hidden Sorts
by J.A. Bergstra, J. Heering — 1993
…Homomorphism Preserving Algebraic Specifications Require Hidden Sorts J.A. Bergstra Faculty…
Cited by 1 (0 self) – Add To MetaCart

Centrum voor Wiskunde en Informatica
by Reportrapport Homomorphism Preserving, Hidden Sorts, J. A. Bergstra, J. A. Bergstra, J. Heering, J. Heering — 1993
… CS-R9344 1993 Homomorphism Preserving Algebraic Specifications Require Hidden Sorts J.A. Bergstra…
Add To MetaCart

The ASF+SDF Meta-environment: An Annotated Bibliography
by E.A. van der Meulen, Asf+sdf Group At Cwi — 1995
… data types the hidden sorts can be dispensed with. Homomorphism preserving algebraic specifications…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB