SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Galan P) srt2:(2001-2004)"

Sökning: WFRF:(Galan P) > (2001-2004)

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  • Eklund, P., et al. (författare)
  • Similarities between powersets of terms
  • 2004
  • Ingår i: Fuzzy sets and systems (Print). - : Elsevier. - 0165-0114 .- 1872-6801. ; 144:1, s. 213-225
  • Tidskriftsartikel (refereegranskat)abstract
    • Generalisation of the foundational basis for many-valued logic programming builds upon generalised terms in the form of powersets of terms. A categorical approach involving set and term functors as monads allows for a study of monad compositions that provide variable substitutions and compositions thereof. In this paper, substitutions and unifiers appear as constructs in Kleisli categories related to particular composed powerset term monads. Specifically, we show that a frequently used similarity-based approach to fuzzy unification is compatible with the categorical approach, and can be adequately extended in this setting; also some examples are included in order to illuminate the definitions.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3
Typ av publikation
tidskriftsartikel (3)
Typ av innehåll
refereegranskat (3)
Författare/redaktör
Medina, J (3)
Eklund, P (3)
Galán, M.A. (3)
Ojeda Aciego, M. (3)
Valverde, A. (3)
Lärosäte
Umeå universitet (3)
Språk
Odefinierat språk (2)
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy