Similarity-based unification: A multi-adjoint approach
- Medina, J.
- Ojeda-Aciego, M.
- Vojtáš, P.
ISSN: 0165-0114
Year of publication: 2004
Volume: 146
Issue: 1
Pages: 43-62
Type: Conference paper
ISSN: 0165-0114
Year of publication: 2004
Volume: 146
Issue: 1
Pages: 43-62
Type: Conference paper