On Relative Normalisation in Orthogonal Expression Reduction Systems

JRW Glauert, Z Khasidashvili

Research output: Contribution to conferencePaper

Original languageEnglish
Pages144-165
Number of pages22
Publication statusPublished - 1995
EventInternational Workshop on Conditional and Typed Rewriting Systems, CTRS '94 -
Duration: 1 Jan 1995 → …

Conference

ConferenceInternational Workshop on Conditional and Typed Rewriting Systems, CTRS '94
Period1/01/95 → …

Cite this