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