Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine

First Page		Document Content
Date: 2008-08-29 21:38:44 Mathematics Data Computing Cartography Geographic data and information Formal methods Geographic information systems Algebra Abstract data type Spatial analysis Algebraic specification Addition		Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine Add to Reading List Source URL: mapcontext.com Download Document from Source Website File Size: 1.010,57 KB Share Document on Facebook

	Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine DocID: 1qhqk - View Document
	Algebraic Specification and OBJ Julio Mari˜ no Universidad Polit´ecnica de Madrid October 31, 2006 DocID: 1cet0 - View Document
	Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011 DocID: 18OPu - View Document
	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and DocID: 13YSy - View Document
	Algebraic Specification of User Interfaces M. Cabrera, M. Gea, F. Gutierrez, J.C. Torres Dpt. Lenguajes y Sistemas Informaticos Universidad de Granada (Spain) DocID: 124V8 - View Document