共 50 条
- [1] Internal and external logics of abstract interpretations [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 263 - 278
- [2] DUALITY FOR CONVEX POLYTOPES [J]. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2009, 86 (03) : 399 - 412
- [3] Products of abstract polytopes [J]. JOURNAL OF COMBINATORIAL THEORY SERIES A, 2018, 157 : 287 - 320
- [10] ABSTRACT POLYTOPES AND HIRSCH CONJECTURE [J]. MATHEMATICAL PROGRAMMING, 1978, 15 (01) : 100 - 104