1![Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine Algebraic Optimization of Combined Overlay Operations* Claus Dorenbeckt Max J. Egenhofer* National Center for Geographic Information and Analysis University of Maine](https://www.pdfsearch.io/img/98745de736b60866350fb5036af45667.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-29 21:38:44
|
---|
2![Algebraic Specification and OBJ Julio Mari˜ no Universidad Polit´ecnica de Madrid October 31, 2006 Algebraic Specification and OBJ Julio Mari˜ no Universidad Polit´ecnica de Madrid October 31, 2006](https://www.pdfsearch.io/img/267ceca3556fccae1d5c986e3357f774.jpg) | Add to Reading ListSource URL: lml.ls.fi.upm.esLanguage: English - Date: 2006-11-07 05:48:31
|
---|
3![Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011 Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011](https://www.pdfsearch.io/img/665c2e05f44f2b6efb032fdb3a5ce219.jpg) | Add to Reading ListSource URL: calco2011.ecs.soton.ac.ukLanguage: English - Date: 2011-09-15 16:40:19
|
---|
4![Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and](https://www.pdfsearch.io/img/95095799bb810126fe6494e83381f6be.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2000-06-29 07:17:41
|
---|
5![Algebraic Specification of User Interfaces M. Cabrera, M. Gea, F. Gutierrez, J.C. Torres Dpt. Lenguajes y Sistemas Informaticos Universidad de Granada (Spain) Algebraic Specification of User Interfaces M. Cabrera, M. Gea, F. Gutierrez, J.C. Torres Dpt. Lenguajes y Sistemas Informaticos Universidad de Granada (Spain)](https://www.pdfsearch.io/img/88dbb7535590d61c8c69493b72d7d7de.jpg) | Add to Reading ListSource URL: ui4all.ics.forth.grLanguage: English - Date: 2007-11-27 14:03:30
|
---|
6![tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l](https://www.pdfsearch.io/img/a18cefde7e46f6e40b99e1ee1afbe203.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2014-10-29 14:48:47
|
---|
7![Discovering and Debugging Algebraic Specifications for Java Classes by Johannes Henkel Discovering and Debugging Algebraic Specifications for Java Classes by Johannes Henkel](https://www.pdfsearch.io/img/9bcbe20ba340d91d332a6bc1c87837ae.jpg) | Add to Reading ListSource URL: www-plan.cs.colorado.eduLanguage: English - Date: 2004-05-31 09:46:03
|
---|
8![Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet](https://www.pdfsearch.io/img/753cfc10497323fd463796ed544f5218.jpg) | Add to Reading ListSource URL: leecenter.caltech.eduLanguage: English - Date: 2009-05-07 18:44:00
|
---|
9![Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and](https://www.pdfsearch.io/img/4f28fdaaa4f4425571adfe3fe987bed9.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2000-06-29 07:17:41
|
---|
10![Statistica Sinica[removed]), [removed]Editorial Expanding the Statistical Toolkit with Algebraic Statistics 1. Evolution of Activities in Algebraic Statistics Polynomials abound in the specification of statistical mode Statistica Sinica[removed]), [removed]Editorial Expanding the Statistical Toolkit with Algebraic Statistics 1. Evolution of Activities in Algebraic Statistics Polynomials abound in the specification of statistical mode](https://www.pdfsearch.io/img/ac20bd0a4cfdb2e249272802a3df2f3d.jpg) | Add to Reading ListSource URL: www3.stat.sinica.edu.twLanguage: English - Date: 2007-10-18 02:29:28
|
---|