4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Gerhard R. Paseman
A hyperidentity E can be viewed as a statement in second order logic. When combined with a similarity type τ, it can also be considered as a set of first order statements. Base…