research
∙
07/05/2023
The complexity of the Chinese Remainder Theorem
The Chinese Remainder Theorem for the integers says that every system of...
share
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
