3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…