Change search
ReferencesLink to record
Permanent link

Direct link
A categorical approach to unication of generalised terms
Åbo Akademi University, Dept. Computer Science, Åbo, Finland.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Show others and affiliations
2002 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 66, no 5, 41-45 p.Article in journal (Refereed) Published
Abstract [en]

Unification of generalised terms in a many-valued setting involves considerations for equalities in the sense of similarity degrees between operators and thus similarities between terms. Further, allowing for substitutions of variables with powersets of terms requires ‘flattening’ operators for handling composition of variable substitutions. These techniques are available when using powerset functors composed with the term functor so that this composition of functors is extendable to a monad. In this paper we provide a framework for unification of such generalised terms.

Place, publisher, year, edition, pages
Elsevier, 2002. Vol. 66, no 5, 41-45 p.
National Category
Computer Science
URN: urn:nbn:se:umu:diva-80612DOI: 10.1016/S1571-0661(04)80513-9OAI: diva2:650510
UNCL'2002, Unification in Non-Classical Logics (ICALP 2002 Satellite Workshop)
Available from: 2013-09-22 Created: 2013-09-22 Last updated: 2014-01-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eklund, PatrikGalán, M.A.
By organisation
Department of Computing Science
In the same journal
Electronical Notes in Theoretical Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 23 hits
ReferencesLink to record
Permanent link

Direct link