Thursday, 06 May 2004, 2:00 pm, Robert Recorde Room
Jan Bergstra
(
Amsterdam
)
First order logic of process algebras
