Abstract

AbstractThe similarity type, or signature, or alphabet is a collection of constant, relation, and function symbols with their fixed arities. Similarity types are usually denoted by \(\tau \).

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call