Searching for "Implementation of Subset-Equational Programs." – 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.

Implementation Of Subset Logic Programs
by Bharat Jayaraman, Kyonghee Moon
… incorporates two assumptions underlying the meaning of subset-equational programs: the collect-all assumption…
Cited by 3 (0 self) – Add To MetaCart

Subset Logic Programs And Their Implementation
by Bharat Jayaraman, Kyonghee Moon — 1994
… research, we developed the implementation of subset and equational program clauses. This paper…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 2.

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