An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra

Thomas Powell, Peter Schuster 0001, Franziskus Wiesnet. An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. In Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Volume 11541 of Lecture Notes in Computer Science, pages 533-549, Springer, 2019. [doi]

Authors

Thomas Powell

This author has not been identified. Look up 'Thomas Powell' in Google

Peter Schuster 0001

This author has not been identified. Look up 'Peter Schuster 0001' in Google

Franziskus Wiesnet

This author has not been identified. Look up 'Franziskus Wiesnet' in Google