A categorical approach to unification of generalised terms

  1. Eklund, P.
  2. Galán, M.A.
  3. Medina, J.
  4. Ojeda-Aciego, M.
  5. Valverde, A.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2002

Ausgabe: 66

Nummer: 5

Seiten: 41-51

Art: Konferenz-Beitrag

DOI: 10.1016/S1571-0661(04)80513-9 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus