A categorical approach to unification of generalised terms
- Eklund, P.
- Galán, M.A.
- Medina, J.
- Ojeda-Aciego, M.
- Valverde, A.
ISSN: 1571-0661
Argitalpen urtea: 2002
Alea: 66
Zenbakia: 5
Orrialdeak: 41-51
Mota: Biltzar ekarpena
ISSN: 1571-0661
Argitalpen urtea: 2002
Alea: 66
Zenbakia: 5
Orrialdeak: 41-51
Mota: Biltzar ekarpena