On Relative Normalisation in Orthogonal Expression Reduction Systems

Research output: Contribution to conference › Paper

Original language	English
Pages	144-165
Number of pages	22
Publication status	Published - 1995
Event	International Workshop on Conditional and Typed Rewriting Systems - Jerusalem, Israel Duration: 13 Jul 1995 → 15 Jul 1995

Workshop	International Workshop on Conditional and Typed Rewriting Systems
Abbreviated title	CTRS '94
Country/Territory	Israel
City	Jerusalem
Period	13/07/95 → 15/07/95

Cite this

@conference{6af7726aeec941c7840369d4d11cc90d,

title = "On Relative Normalisation in Orthogonal Expression Reduction Systems",

author = "JRW Glauert and Z Khasidashvili",

year = "1995",

language = "English",

pages = "144--165",

note = "International Workshop on Conditional and Typed Rewriting Systems, CTRS '94 ; Conference date: 13-07-1995 Through 15-07-1995",

}