work_7ub52kkpvvdlfgbw7d3jo5mn5e
Releases
| 2021-09-16 |
A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm
published | article | CC BY-NC-ND |
What is a "Work"?
A Fatcat "work" groups a set of releases that are all editings
or editing stages of the same intellectual contribution. For example, a
pre-print and a published article may contain small differences, but still
reference the same underlying "work".