On equationally Noetherian predicate structures
-
Published:2024-07-17
Issue:
Volume:Volume 16, Issue 1
Page:
-
ISSN:1869-6104
-
Container-title:journal of Groups, complexity, cryptology
-
language:en
-
Short-container-title:
Author:
Buchinskiy Ivan,Kotov Matvei,Treier Alexander
Abstract
In this paper, we prove a criterion for a predicate structure to be
equationally Noetherian.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)