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, 1995-07-13 - 1995-07-15.

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
Depositing User: Vishal Gautam
Date Deposited: 12 Sep 2011 10:44
Last Modified: 15 Dec 2022 01:09
URI: https://ueaeprints.uea.ac.uk/id/eprint/23806
DOI:

Actions (login required)

View Item View Item