scientific article; zbMATH DE number 1424058
From MaRDI portal
Publication:4945249
zbMATH Open0944.68130MaRDI QIDQ4945249FDOQ4945249
Authors: Jo Erskine Hannay
Publication date: 23 March 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (8)
- From algebras and coalgebras to dialgebras
- Specification statements and refinement
- Title not available (Why is that?)
- Algebraic foundations for specification refinements
- Semantic typing for parametric algebraic specifications
- Title not available (Why is that?)
- Proof assistance for refinement in type theory
- Title not available (Why is that?)
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 Q4945249)