Publication:4222954
From MaRDI portal
zbMath0917.68124MaRDI QIDQ4222954
Hiroshi Watanabe, A. John Power
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11009
68Q55: Semantics in the theory of computing
Related Items
On the structure of categories of coalgebras, Universal coalgebra: A theory of systems, Algebraic-coalgebraic specification in CoCASL, Expressivity of coalgebraic modal logic: the limits and beyond