SwePub
Sök i SwePub databas

  Extended search

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

Search: L773:9781424438419

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Eklund, Patrik, 1958-, et al. (author)
  • Paradigms for non-classical substitutions
  • 2009
  • In: 39th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2009). - 9781424438419 ; , s. 77-79
  • Conference paper (peer-reviewed)
  •  
2.
  • Nordh, Gustav, 1979-, et al. (author)
  • Frozen Boolean partial co-clones
  • 2009
  • In: Proceedings of the 39th International Symposium on Multiple-Valued Logic (ISMVL-2009). - 9780769536071 - 9781424438419 ; , s. 120-125
  • Conference paper (peer-reviewed)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
  • Result 1-2 of 2
Type of publication
conference paper (2)
Type of content
peer-reviewed (2)
Author/Editor
Eklund, Patrik, 1958 ... (1)
Galán, M.A. (1)
Kortelainen, J. (1)
Stout, L. N. (1)
Nordh, Gustav, 1979- (1)
Zanuttini, Bruno (1)
University
Umeå University (1)
Linköping University (1)
Language
English (2)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
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 Close

Copy and save the link in order to return to this view