PP-2004-21: Yde Venema Automata and Fixed Point Logic: a Coalgebraic Perspective 1.Full Text, 2.Abstract. < Back
