共 50 条
- [21] Correspondences in Arakelov geometry and applications to the case of Hecke operators on modular curves Manuscripta Mathematica, 2011, 136 : 501 - 543
- [23] Strict language inequalities and their decision problems MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 708 - 719
- [24] Pointer Disambiguation via Strict Inequalities CGO'17: PROCEEDINGS OF THE 2017 INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2017, : 134 - 147
- [27] Non-completeness of the Arakelov-induced metric on moduli space of curves manuscripta mathematica, 2006, 119 : 453 - 463