[Back]

@phdthesis{TUW-196996,
    author = {Karimipour, Farid},
    title = {A Formal Approach to Implement Dimension Independent Spatial Analyses},
    school = {Department of Geoinformation},
    year = {2011},
    url = {http://publik.tuwien.ac.at/files/PubDat_196996.pdf},
    keywords = {Multi-dimensional spatial analyses, 3D spatial data, Moving objects, Formal theories, Abstraction, Algebraic structures, Algebraic specifications, Lifting, Delaunay triangulation, Voronoi diagram, Functional programming languages, Haskell}
}