Learn More
The implicit signature κ 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 and show that(More)