liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A New Characterization of Restriction-Closed Hyperclones
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
2020 (Engelska)Ingår i: 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), IEEE COMPUTER SOC , 2020, s. 303-308Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

A hyperoperation is a mapping from a domain to the powerset of the domain. Hyperoperations can be composed together to form new hyperoperations, and the resulting sets are called hyperclones. In this paper we study the lattice of restriction-closed hyperclones over finite domains. Such hyperclones form a natural subclass of hyperclones but have received comparably little attention. We give a complete description of restriction-closed hyperclones, relative to the clone lattice, and also outline some important open questions to resolve when studying hyperclones over partially defined operations.

Ort, förlag, år, upplaga, sidor
IEEE COMPUTER SOC , 2020. s. 303-308
Serie
International Symposium on Multiple-Valued Logic, ISSN 0195-623X
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-177413DOI: 10.1109/ISMVL49045.2020.00063ISI: 000656495500052ISBN: 9781728154060 (tryckt)OAI: oai:DiVA.org:liu-177413DiVA, id: diva2:1574053
Konferens
IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, JAPAN, nov 09-11, 2020
Tillgänglig från: 2021-06-28 Skapad: 2021-06-28 Senast uppdaterad: 2021-06-28

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Lagerkvist, Victor
Av organisationen
Programvara och systemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 25 träffar
RefereraExporteraLänk till posten
Permanent länk

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