共 50 条
- [41] Lattice-based relation algebras II THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS II, 2006, 4342 : 267 - +
- [42] Lattice-based SMT for Program Verification 17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
- [44] Lattice-Based Computation of Boolean Functions PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 609 - 612
- [45] Lattice-Based Accumulator with Efficient Updating 2022 17TH ASIA JOINT CONFERENCE ON INFORMATION SECURITY, ASIAJCIS, 2022, : 33 - 40
- [46] A Lattice-based Model for Recommender Systems 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 2, PROCEEDINGS, 2008, : 349 - 356
- [49] Symbolic Proofs for Lattice-Based Cryptography PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 538 - 555