Gennadi Puninski, Vera Puninskaya, Carlo Toffalori. Decidability of the theory of modules over commutative valuation domains. Annals of Pure and Applied Logic, 145(3):258-275, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.