共 50 条
- [44] Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 255 - 259
- [46] Logarithms of algebraic numbers JOURNAL DE THEORIE DES NOMBRES DE BORDEAUX, 2015, 27 (02): : 499 - 535
- [48] Distribution of algebraic numbers JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2011, 657 : 57 - 80