Two parts, each with two holes, are to be pinned together by some type of fastener. Nominally the holes on part 1 are to match the holes on part 2 and the fastener diameters should be smaller than the hole diameters. Due to variation in hole diameters, fastener diameters and hole center positions loose pinning of the two parts may no longer be possible. The problem considered here is to define ...

We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...