共 50 条
- [32] Lattice-based paraconsistent logic RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 173 - 187
- [34] Lattice-Based Cryptography: A Survey Chinese Annals of Mathematics, Series B, 2023, 44 : 945 - 960
- [38] REPRESENTABILITY IN LAMBDA ALGEBRAS PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1976, 79 (05): : 377 - 387
- [39] Lattice-Based Timed Cryptography ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, 2023, 14085 : 782 - 804