共 50 条
- [4] A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification 2019 IEEE 27TH INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (IEEE ICNP), 2019,
- [5] ON LATTICE-THEORETICAL CONSTRUCTION OF MATROIDS ANALELE STIINTIFICE ALE UNIVERSITATII AL I CUZA DIN IASI-SERIE NOUA-MATEMATICA, 2013, 59 (01): : 201 - 208
- [10] Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets ROUGH SETS AND KNOWLEDGE TECHNOLOGY, RSKT 2015, 2015, 9436 : 347 - 356