MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Relative Normalization in Orthogonal Expression Reduction Systems." – 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

Relative Normalization in Orthogonal Expression Reduction Systems
by John Glauert, Zurab Khasidashvili — 1994 — In: Proc. of the 4 th International workshop on Conditional (and Typed) Term Rewriting Systems, CTRS'94, Springer LNCS
…Relative Normalization in Orthogonal Expression Reduction Systems John Glauert and Zurab…
Cited by 12 (11 self) – Add To MetaCart

Minimal Relative Normalization in Orthogonal Expression Reduction Systems
by John Glauert, Zurab Khasidashvili — 1996 — In Proc. of the 16 th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS'96, Springer LNCS
…Minimal Relative Normalization in Orthogonal Expression Reduction Systems John Glauert and Zurab…
Cited by 5 (2 self) – Add To MetaCart

Minimal and Optimal Relative Normalization in Orthogonal Expression Reduction Systems
by John Glauert, Z. Khasidashvili, John Glauert, Zurab Khasidashvili — 1996 — J. Logic & Comput
…Minimal and Optimal Relative Normalization in Orthogonal Expression Reduction Systems J. Glauert…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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