On Relative Normalisation in Orthogonal Expression Reduction Systems

Glauert, JRW and Khasidashvili, Z (1995) On Relative Normalisation in Orthogonal Expression Reduction Systems. In: International Workshop on Conditional and Typed Rewriting Systems, CTRS '94, 1995-01-01.

Full text not available from this repository. (Request a copy)
Item Type: Conference or Workshop Item (Paper)
Faculty \ School: Faculty of Science > School of Computing Sciences
Related URLs:
Depositing User: Vishal Gautam
Date Deposited: 12 Sep 2011 11:44
Last Modified: 19 Apr 2019 01:09
URI: https://ueaeprints.uea.ac.uk/id/eprint/23806
DOI:

Actions (login required)

View Item