Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Coquand T.: Sur un théorème de Kronecker concernant les variétés algébriques. C. R. Math. Acad. Sci.Paris 338, 291–294 (2004)
2. Coquand T.: About Stone’s notion of spectrum. Journal of Pure and Applied Algebra 197, 148–158 (2005)
3. Coquand T.: Space of valuations. Ann. Pure Appl. Logic, 157, 97–109 (2009)
4. T. Coquand and H. Lombardi, Hidden constructions in abstract algebra: Krull dimension of distributive lattices and commutative rings., in: M. F. et al. (ed.), Commutative Ring Theory and Applications, Lecture Notes in Pure and Applied Mathematics, volume 231, pp. 477–499, 2002.
5. Coquand T., Lombardi H.: A logical approach to abstract algebra. Math. Struct. in Comput. Science 16, 885–900 (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献