MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Confluent Reductions Abstract Properties and Applications to Term Rewriting Systems" – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

[9] G. Graefe and D. DeWitt. The EXODUS optimizer generator. In
by Proc Of The, K. C. Kim, W. Kim, M. K. Lee, J. C. Freytag
…. Confluent reductions: Abstract properties and applications of term rewriting systems. Journal of the ACM, 27…
Add To MetaCart

Dual M-Sets: The Theoretical Framework and Applications
by Shen-Tzay Huang — 1994
… : Abstract Properties and Applications to Term Rewriting Systems." Journal Of ACM, 27(4):797--821, Oct. 1980…
Add To MetaCart

Bibliography
by Aagaard And Leeser, Adel'son-vel'skii G. M — 1996
… Computing Surveys, 21, 359--411. Huet, G. (1980) Confluent reductions: abstract properties and applications…
Add To MetaCart

Intelligence, 45(1-2):113--172, 1990. [147] S. Wills and W. Dally. Pi: A parallel architecture interface. In
by Frontiers The Th, Reading Ma, K. Wittenburg, L. Weitzman, J. Talley Unification-based Grammars
… Dept., March 1988. [60] G. Huet. Confluent reductions: Abstract properties and applications to term…
Add To MetaCart

Showing 1 through 4.

ATOM

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