umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, E-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
Identifiers
URN: urn:nbn:se:umu:diva-80612DOI: 10.1016/S1571-0661(04)80513-9OAI: oai:DiVA.org:umu-80612DiVA: diva2:650510
Conference
UNCL'2002, Unification in Non-Classical Logics (ICALP 2002 Satellite Workshop)
Available from: 2013-09-22 Created: 2013-09-22 Last updated: 2017-12-06Bibliographically 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 28 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf