The data type of spatial objects

DOI10.1007/s00165-011-0182-7zbMath1259.68134OpenAlexW2169776837MaRDI QIDQ1941895

Yanyan Li

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0182-7

zbMATH Keywords

compact-open topologycontinuous functionsalgebrasequationstopological algebrasabstract data typesspacespatial objectsconditional equationsdense subalgebrastermsapproximation by terms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Topological methods for algebraic specification
• Algebraic specifications of computable and semicomputable data types
• Computation by `While' programs on topological partial algebras
• Algebraic models of correctness for abstract pipelines.
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• A theory of computer instructions
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Algebraic models of correctness for microprocessors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The data type of spatial objects