[an error occurred while processing this directive] An error occured whilst processing this directive

LFCS Theory Seminar
Room 2511, JCMB, King's Buildings
4pm, Tuesday 21st January 1997

Title: From Automata to Fixpoint Logics and Back

Speaker: Roope Kaivola (University of Helsinki, Finland)

An error occured whilst processing this directive