Searching for "A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications
by Claus-peter Wirth, Bernhard Gramlich — 1992 — 3 rd CTRS 1992, LNCS 656
… A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications Claus…
Cited by 14 (9 self) – Add To MetaCart

A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications
by Claus-Peter Wirth And, Claus-peter Wirth, Bernhard Gramlich — 1994 — 3 rd CTRS 1992, LNCS 656
… f x 7! s(y); Y 7! y g . A Constructor-Based Approach to Positive/Negative-Conditional Equational…
Add To MetaCart

Showing 1 through 2.

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