共 50 条
- [42] 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
- [43] 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
- [47] Lattice-based MLLR for Speaker Recognition 2009 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS 1- 8, PROCEEDINGS, 2009, : 4537 - 4540