scientific article; zbMATH DE number 938514

zbMATH Open0856.68099MaRDI QIDQ4896923FDOQ4896923

Authors: Horst Reichel 

Publication date: 27 October 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 743582
• scientific article; zbMATH DE number 4180819
• Computer Science Logic
• Transition specifications for dynamic abstract data types
• Specification of abstract dynamic-data types: A temporal logic approach

zbMATH Keywords

Di-algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (4)

• An evolving algebra abstract machine
• Unified algebras and action semantics
• Title not available (Why is that?)
• 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 Q4896923)