An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra-Reference-Cited by-同舟云学术

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

Published:2019 Issue: Volume: Page:533-549
ISSN:0302-9743
Container-title:Logic, Language, Information, and Computation
language:
Short-container-title:

Author:

Powell Thomas,Schuster Peter,Wiesnet Franziskus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-59533-6_32

Reference46 articles.

1. Aschieri, F., Berardi, S.: Interactive learning-based realizability for Heyting arithmetic with EM1. Log. Methods Comput. Sci. 6(3), 1–22 (2010)

2. Atiyah, M., Macdonald, I.: Introduction to Commutative Algebra. Addison-Wesley Publishing Co., Boston (1969)

3. Berger, U., Lawrence, A., Forsberg, F., Seisenberger, M.: Extracting verified decision procedures: DPLL and resolution. Log. Methods Comput. Sci. 11(1:6), 1–18 (2015)

4. Lecture Notes in Computer Science;U Berger,2011

5. Cederquist, J., Coquand, T.: Entailment relations and distributive lattices. In: Buss, S.R., Hájek, P., Pudlák, P. (eds.) Logic Colloquium 1998, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Lect. Notes Logic, Prague, Czech Republic, 9–15 August 1998, vol. 13, pp. 127–139. A. K. Peters, Natick (2000)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Jacobson radical for an inconsistency predicate;Computability;2022-05-13

2. Dynamic evaluation of integrity and the computational content of Krull's lemma;Journal of Pure and Applied Algebra;2022-01

3. A universal algorithm for Krull's theorem;Information and Computation;2021-05

4. An Algorithmic Version of Zariski’s Lemma;Lecture Notes in Computer Science;2021

5. BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH;The Bulletin of Symbolic Logic;2020-12