umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A categorical approach to unication of generalised terms
Åbo Akademi University, Dept. Computer Science, Åbo, Finland.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Vise andre og tillknytning
2002 (engelsk)Inngår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 66, nr 5, s. 41-45Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
Elsevier, 2002. Vol. 66, nr 5, s. 41-45
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-80612DOI: 10.1016/S1571-0661(04)80513-9OAI: oai:DiVA.org:umu-80612DiVA, id: diva2:650510
Konferanse
UNCL'2002, Unification in Non-Classical Logics (ICALP 2002 Satellite Workshop)
Tilgjengelig fra: 2013-09-22 Laget: 2013-09-22 Sist oppdatert: 2018-06-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Eklund, Patrik

Søk i DiVA

Av forfatter/redaktør
Eklund, Patrik
Av organisasjonen
I samme tidsskrift
Electronical Notes in Theoretical Computer Science

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 54 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf