15714977
Results 1 to 1 of 1
Selection :
Translating logics for coalgebrasPATTINSON, Dirk.Lecture notes in computer science. 2003, pp 393-408, issn 0302-9743, isbn 3-540-20537-3, 16 p.Conference Paper