On the power of algebraic specifications

Bakhadyr Khoussainov

(University of Auckland, New Zealand)

In this talk we address long standing open problems of Bergstra and Tucker about specifications of abstract data types by means of equations and conditional equations. We provide several examples, discuss known results in the area, and provide basic ideas and concepts from logic and computability developed towards the study of the problems.
Tuesday 5th November 2002, 14:00
Robert Recorde Room
Department of Computer Science