Personal tools
You are here: Home Events Abstract Archives 1997 From Automata to Fixpoint Logics and Back

From Automata to Fixpoint Logics and Back

Roope Kaivola (University of Helsinki, Finland) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 21st January 1997

Abstract to follow.

Document Actions