RISC RISC Research Institute for Symbolic Computation  

Introduction to Unification Theory

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, type inference, rewriting and completion, etc.
The course on Unification Theory is intended to be an introductory course covering the following topics: syntactic unification, Robinson's algorithm, improved algorithms for syntactic unification (space efficient, quadratic, almost linear), unification in equational theories, higher-order unification, matching, applications of unification.


Summer Semester 2016.

Number: 326.097, 326.0UF
Title:Unification Theory
Lecturer:Temur Kutsia
Time:Thursday, 16:15-17:45
Place:S2 046. On April 12 in HT 177F
First meeting:March 8
Registration:Via the KUSSS system.

Course Materials


Maintained by Temur Kutsia