2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Jorge Almeida, Ondřej Klíma
A new scheme for proving pseudoidentities from a given set Σ of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Σ defines a l…