scientific article
From MaRDI portal
Publication:3839055
zbMath0903.08007MaRDI QIDQ3839055
Publication date: 13 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coalgebrascoalgebraic equationequational deduction calculusspecification of discrete dynamical systems with a hidden state space
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)
Related Items
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems, Semantic constructions for the specification of objects, Object oriented institutions to specify symbolic computation systems, Coalgebraic logic, A coalgebraic equational approach to specifying observational structures
