共 50 条
- [31] Analyzing restricted fragments of the theory of linear arithmetic Annals of Mathematics and Artificial Intelligence, 2017, 79 : 245 - 266
- [40] Arithmetic linear series with base conditions Mathematische Zeitschrift, 2012, 272 : 1383 - 1401