On equationally Noetherian predicate structures
arXiv:2407.03150 · doi:10.46298/jgcc.2024.16.1.13872
Abstract
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.
13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology