RISC RISC Research Institute for Symbolic Computation  

Introduction to Unification Theory



Overview
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.

Organization

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
Language:English
First meeting:March 8
Registration:Via the KUSSS system.

Course Materials

Literature



Maintained by Temur Kutsia