Searching for "Decidable Call by Need Computations in term Rewriting (Extended Abstract)." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Decidable Call by Need Computations in Term Rewriting (Extended Abstract)
by Irène Durand, Aart Middeldorp — 1997 — Proc. of 14th International Conference on Automated Deduction, CADE'97, LNAI 1249:4-18
…Decidable Call by Need Computations in Term Rewriting (Extended Abstract) Ir#ne Durand Universit…
Cited by 15 (3 self) – Add To MetaCart

Showing 1 through 1.

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