共 50 条
- [21] LATTICE-THEORETIC METHODS IN AXIOMATIC POTENTIAL THEORY NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A322 - A322
- [22] A Lattice-Theoretic Framework for Metabolic Pathway Analysis COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, 2013, 8130 : 178 - 191
- [23] LATTICE-THEORETIC DECISION PROBLEMS IN UNIVERSAL ALGEBRA NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A13 - A14
- [25] The Lattice-Theoretic Essence of Property Directed Reachability Analysis COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 235 - 256
- [26] A lattice-theoretic approach to the Bourque?Ligh conjecture LINEAR & MULTILINEAR ALGEBRA, 2019, 67 (12): : 2471 - 2487
- [27] LATTICE-THEORETIC DESCRIPTION OF LATTICE OF HYPERINVARIANT SUBSPACES OF A LINEAR TRANSFORMATION CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1976, 28 (05): : 1062 - 1066
- [30] A lattice-theoretic model for an algebra of communicating sequential processes THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 123 - 137