Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from Formalization of conceptual models for GIS using Gofer. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1991 · External reference
Introduction to functional programming
1988 · External reference
Modelling a hierarchy of space applied to large road networks
1994 · External reference
General principles of hierarchical spatial reasoning — The case of wayfinding
1994 · External reference
On understanding types, data abstractions, and polymorphism
10.1145/6041.6042 · 1985 · External reference
Algebraic optimization of combined overlay operations
1991 · External reference
Unresolved reference
1989 · External reference
Graphs in spatial databases
1994 · External reference
Qualitative temporal reasoning in GIS — Ordered time scales
1994 · External reference
Two perspectives on geographical data modelling
1990 · External reference
Cell graphs: A provable correct method for the storage of geometry
1986 · External reference
Modular algebraic specification of some basic geometrical constructions
1989 · External reference
Do people understand spatial concepts: The case of first-order primitives
1992 · External reference
Abstract data types and software validition
10.1145/359657.359666 · 1978 · External reference
Unresolved reference
1994 · External reference
Report on the programming language Haskell
1991 · External reference
GOFER
1991 · External reference
Abstraction and specification in program development
1986 · External reference
A conceptual model of wayfinding using multiple levels of abstraction
1992 · External reference
Software engineering mathematics
1989 · External reference
