UNIFICATION
===========

Temur Kutsia

Abstract

Unification, or solving equations, is a fundamental process in
many areas of computer science. It is in the heart of the
applications such as logic programming, automated reasoning,
natural language processing, information retrieval, rewriting
and completion, type checking, etc.

The course on Unification Theory is intended to be an
introductory course structured into three lectures to cover the
basics of syntactic and equational unification and their
applications.