Topological methods for algebraic specification

DOI10.1016/0304-3975(95)00261-8zbMath0872.68115OpenAlexW2004119073WikidataQ127498899 ScholiaQ127498899MaRDI QIDQ671657

Karl Meinke

Publication date: 27 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00261-8

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

The data type of spatial objects ⋮ Computable total functions on metric algebras, universal algebraic specifications and dynamical systems

Cites Work

• Final algebra semantics and data type extensions
• Algebraic and fixed point equations over inverse limits of algebras
• Universal algebra in higher types
• Zur topologischen Algebra. I. Komplettierungstheorie
• On constructive functions
• Free topological algebras
• Compactly generated algebras over discrete fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological methods for algebraic specification