SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:9781424438419 "

Sökning: L773:9781424438419

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Eklund, Patrik, 1958-, et al. (författare)
  • Paradigms for non-classical substitutions
  • 2009
  • Ingår i: 39th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2009). - 9781424438419 ; , s. 77-79
  • Konferensbidrag (refereegranskat)
  •  
2.
  • Nordh, Gustav, 1979-, et al. (författare)
  • Frozen Boolean partial co-clones
  • 2009
  • Ingår i: Proceedings of the 39th International Symposium on Multiple-Valued Logic (ISMVL-2009). - 9780769536071 - 9781424438419 ; , s. 120-125
  • Konferensbidrag (refereegranskat)abstract
    • We introduce and investigate the concept of frozen partial co-clones. Our main motivation for studying frozen partial co-clones is that they, have important applications in complexity analysis of constraints. The frozen partial co-clones lie between the co-clones and partial co-clones in the sense that the partial co-clone lattice is a refinement of the frozen partial co-clone lattice, which in turn is a refinement of the co-clone lattice. We concentrate on the Boolean domain. and determine large parts of the frozen partial co-clone lattice.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
konferensbidrag (2)
Typ av innehåll
refereegranskat (2)
Författare/redaktör
Eklund, Patrik, 1958 ... (1)
Galán, M.A. (1)
Kortelainen, J. (1)
Stout, L. N. (1)
Nordh, Gustav, 1979- (1)
Zanuttini, Bruno (1)
Lärosäte
Umeå universitet (1)
Linköpings universitet (1)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2009 (2)

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