scientific article; zbMATH DE number 1231632

MaRDI QIDQ4222955zbMATH OpenFDO

Authors Grigore Roşu

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

zbMATH Keywords

hidden algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Equational axiomatizability for coalgebra
• What is the coalgebraic analogue of Birkhoff's variety theorem?
• Bisimulation and Hidden Algebra
• scientific article; zbMATH DE number 1507225

Cited in

(8)

• Behavioral algebraization of logics
• Observational ultraproducts of polynomial coalgebras.
• A hidden agenda
• Closure properties for the class of behavioral models
• Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
• Towards behavioral Maude: behavioral membership equational logic
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Equational axiomatizability for coalgebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222955)