共 50 条
- [31] Lattice-based SMT for Program Verification 17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
- [32] Lattice-based relation algebras II THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS II, 2006, 4342 : 267 - +
- [34] Lattice-based relation algebras and their representability THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS: COST ACTION 274, TARSKI, REVISED PAPERS, 2003, 2929 : 231 - 255
- [35] Lattice-Based Accumulator with Efficient Updating 2022 17TH ASIA JOINT CONFERENCE ON INFORMATION SECURITY, ASIAJCIS, 2022, : 33 - 40
- [37] Lattice-Based Computation of Boolean Functions PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 609 - 612
- [40] Lattice-based blind signature schemes Wuhan Daxue Xuebao (Xinxi Kexue Ban)/ Geomatics and Information Science of Wuhan University, 2010, 35 (05): : 550 - 553