Lattice-based relation algebras and their representability

被引：0
|
作者：
Düntsch, I
Orlowska, E
Radzikowska, AM
机构：
[1] Brock Univ, St Catharines, ON L2S 3A1, Canada
[2] Inst Natl Telecommun, PL-04894 Warsaw, Poland
[3] Warsaw Univ Technol, Fac Math & Informat Sci, PL-00661 Warsaw, Poland
来源：
THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS: COST ACTION 274, TARSKI, REVISED PAPERS | 2003年 / 2929卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：231 / 255
页数：25
相关论文
共 50 条
  • [41] A Lattice-based Model for Recommender Systems
    Narayanaswamy, Shriram
    Bhatnagar, Raj
    20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 2, PROCEEDINGS, 2008, : 349 - 356
  • [42] Lattice-Based Revocable Certificateless Signature
    Hung, Ying-Hao
    Tseng, Yuh-Min
    Huang, Sen-Shan
    SYMMETRY-BASEL, 2017, 9 (10):
  • [43] Symbolic Proofs for Lattice-Based Cryptography
    Barthe, Gilles
    Fan, Xiong
    Gancher, Joshua
    Gregoire, Benjamin
    Jacomme, Charlie
    Shi, Elaine
    PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 538 - 555
  • [44] Lattice-based progressive author disambiguation
    Backes, Tobias
    Dietze, Stefan
    INFORMATION SYSTEMS, 2022, 109
  • [45] A lattice-based partially blind signature
    Tian, Haibo
    Zhang, Fangguo
    Wei, Baodian
    SECURITY AND COMMUNICATION NETWORKS, 2016, 9 (12) : 1820 - 1828
  • [46] Tighter Reduction for Lattice-Based Multisignature
    Fukumitsu, Masayuki
    Hasegawa, Shingo
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2021, E104A (12) : 1685 - 1697
  • [47] Lattice-based SMT for Program Verification
    Even-Mendoza, Karine
    Hyvarinen, Antti E. J.
    Chockler, Hana
    Sharygina, Natasha
    17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
  • [48] Lattice-Based Computation of Boolean Functions
    Altun, Mustafa
    Riedel, Marc D.
    PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 609 - 612
  • [49] Lattice-Based Accumulator with Efficient Updating
    Maeno, Yuta
    Miyaji, Atsuko
    Miyaji, Hideaki
    2022 17TH ASIA JOINT CONFERENCE ON INFORMATION SECURITY, ASIAJCIS, 2022, : 33 - 40
  • [50] Lattice-based flow field modeling
    Wei, XM
    Zhao, Y
    Fan, Z
    Li, W
    Qiu, F
    Yoakum-Stover, S
    Kaufman, AE
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2004, 10 (06) : 719 - 729
12345