A multi-adjoint approach to similarity-based unification

  1. Medina, J.
  2. Ojeda-Aciego, M.
  3. Vojtás, P.
Revista:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Any de publicació: 2002

Volum: 66

Número: 5

Pàgines: 70-85

Tipus: Aportació congrés

DOI: 10.1016/S1571-0661(04)80515-2 GOOGLE SCHOLAR lock_openAccés obert editor