research
∙
03/29/2023
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures
This work deals with the definability problem by quantifier-free first-o...
research
∙
04/09/2019