The data type of spatial objects

DOI10.1007/S00165-011-0182-7MaRDI QIDQ1941895zbMATH OpenOpenAlexFDO

Authors 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 topologytopological algebrasalgebrascontinuous functionsequationsabstract data typesspacespatial objectsconditional equationsdense subalgebrastermsapproximation by terms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 997365
• Spatial context. An introduction to fundamental computer algorithms for spatial analysis
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• scientific article; zbMATH DE number 1630118
• scientific article; zbMATH DE number 1424305

Cites work

• scientific article; zbMATH DE number 3172146 (Why is no real title available?)
• scientific article; zbMATH DE number 3682672 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 3491246 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• scientific article; zbMATH DE number 3063010 (Why is no real title available?)
• A theory of computer instructions
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of correctness for microprocessors
• Algebraic specifications of computable and semicomputable data types
• Computation by `While' programs on topological partial algebras
• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Topological methods for algebraic specification

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1941895)