| Time: | 12 - 1:20 p.m. |
| Room: |
Baker Hall 150
|
| Speaker: | Richard
Statman Departments of Mathematical Sciences and Computer Science Carnegie Mellon University |
| Title: |
Un probleme de Huet
|
| Abstract: |
A selective survey of unification and matching problems.
|