On abstract data types presented by multiequations

DOI10.1016/S0304-3975(01)00189-XzbMath1026.68031OpenAlexW2077667590MaRDI QIDQ1607218

Michel Hebert, Jiří Adámek, Jiří Rosický

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00189-x

zbMATH Keywords

multiinitial-algebra semantics

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

On tree coalgebras and coalgebra presentations ⋮ On multivarieties and multialgebraic categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories localement multipresentables
• Categories multialgebriques
• Syntactic characterization of closure under connected limits
• Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics

This page was built for publication: On abstract data types presented by multiequations