Publications
Full-text not available in DiVA
Author:
Eklund, P. (Umeå University, Faculty of Science and Technology, Computing Science)
Galán, M.A.
Medina, J.
Ojeda-Aciego, M.
Valverde, A.
Title:
A categorical approach to unification of generalised terms
Department:
Umeå University, Faculty of Science and Technology, Computing Science
Publication type:
Article in journal (Refereed)
Status:
Published
In:
Electronic Notes in Theoretical Computer Science
Volume:
66
Issue:
5
Pages:
11 pages-
Year of publ.:
2002
URI:
urn:nbn:se:umu:diva-3901
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-3901
Available from:
2004-04-22
Created:
2004-04-22
Statistics:
20 hits