scientific article; zbMATH DE number 1231627

zbMath0917.68134MaRDI QIDQ4222950

Alexander Kurz

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#11005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items

Modalities in the Stone age: a comparison of coalgebraic logics, A Calculus of Terms for Coalgebras of Polynomial Functors, Modal Rules are Co-Implications, Modal Languages for Coalgebras in a Topological Setting, Behavioral abstraction is hiding information, From modal logic to terminal coalgebras, A modal proof theory for final polynomial coalgebras, What is the coalgebraic analogue of Birkhoff's variety theorem?, Equational Coalgebraic Logic, Institutionalising Many-Sorted Coalgebraic Modal Logic, A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras, Universal coalgebra: A theory of systems, On institutions for modular coalgebraic specifications.