most citedPolynomial-time Tests for Difference Terms in Idempotent Varieties

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2020★ 3 cited

Polynomial-time Tests for Difference Terms in Idempotent Varieties

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…