research
∙
02/27/2020
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
It is well-known that some equational theories such as groups or boolean...
share
research
∙
01/30/2019
