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]
Abstract is missing.