Observational implementations

DOI10.1007/BFb0028973zbMath1492.68088OpenAlexW2911426808MaRDI QIDQ5096143

Rolf Hennicker

Publication date: 16 August 2022

Published in: STACS 89 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0028973

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Extending Bachmair's method for proof by consistency to the final algebra

Cites Work

• A systematic study of models of abstract data types
• Algebraic implementation of abstract data types
• Completeness of calculii for axiomatically defined classes of algebras
• On the algebraic definition of programming languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Observational implementations