12 citations · 23 across the 10 of their papers we have counts for
1 paper · 2 filters
José Carlos Costa
The implicit signature k consists of the multiplication and the (ω-1)-power. We describe a procedure to transform each κ-term over a finite alphabet A into a certain canonical form…