One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
- 16 December 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Many sorted algebraic data models for GISInternational Journal of Geographical Information Science, 1998
- Formal Models for Cognition — Taxonomy of Spatial Location Description and Frames of ReferencePublished by Springer Nature ,1998
- Specifying open GIS with functional languagesPublished by Springer Nature ,1995
- Qualified TypesPublished by Cambridge University Press (CUP) ,1994
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970