Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Implementing Nominal Unification

Fernández, M. and Calves, C. (2006) Implementing Nominal Unification. In: Proceedings of TERMGRAPH'06, 3rd International Workshop on Term Graph Rewriting, ETAPS 2006, Vienna.

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
ID Code:117
Deposited By:Dr Maribel Fernandez
Deposited On:01 Nov 2007 18:47
Last Modified:01 Nov 2007 18:47

Repository Staff Only: item control page