Towards the decidability of the theory of modules over finite commutative rings

Gennadi Puninski, Carlo Toffalori. Towards the decidability of the theory of modules over finite commutative rings. Annals of Pure and Applied Logic, 159(1-2):49-70, 2009. [doi]

Authors

Gennadi Puninski

This author has not been identified. Look up 'Gennadi Puninski' in Google

Carlo Toffalori

This author has not been identified. Look up 'Carlo Toffalori' in Google