On Equationally Noetherian Predicate Structures
Groups Complexity Cryptology（2024）
RAS
摘要
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.
更多查看译文
关键词
predicate structures,equationally Noetherian structures,universal algebraic geometry
原文链接
分享
引用
