共 50 条
- [4] GLOBAL DIMENSION FO COMMUTATIVE RINGS WITH LINEARLY ORDERED IDEALS JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1969, 44 (173P): : 183 - &
- [7] Automata based verification over linearly ordered data domains 28TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2011), 2011, 9 : 81 - 92