18 citations · 34 across the 4 of their papers we have counts for
1 paper · 2 filters
William DeMeo, Ralph Freese, Matthew Valeriote
We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We…