{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:08Z","timestamp":1725664868738},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:29:42Z","timestamp":1330298982000},"page":"605-623","source":"Crossref","is-referenced-by-count":0,"title":["Term rewrite systems to derive set boolean operations on 2D objects"],"prefix":"10.1007","author":[{"given":"David","family":"Cazier","sequence":"first","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Dufourd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"32_CR1","series-title":"Proc. Computer Graphics International Conf.","first-page":"649","volume-title":"A digitization algorithm for the entry of planar maps","author":"J.F. Dufourd","year":"1989","unstructured":"J.F. Dufourd, C. Gross, and J.C. Spehner. A digitization algorithm for the entry of planar maps. In Proc. Computer Graphics International Conf., pages 649\u2013661, Leeds, U.K., 1989. Springer-Verlag."},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/74334.74369","volume":"23","author":"M. Gangnet","year":"1989","unstructured":"M. Gangnet, J.C. Herv\u00e9, T. Pudet, and J.M. van Thong. Incremental computation of planar maps. In Proc. of ACM Siggraph Conf., Boston, Computer Graphics, volume 23, pages 345\u2013354, July 1989.","journal-title":"Proc. of ACM Siggraph Conf., Boston, Computer Graphics"},{"issue":"4","key":"32_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0010-4485(95)00050-X","volume":"28","author":"Y. Gardan","year":"1996","unstructured":"Y. Gardan and E. Perrin. An algorithm reducing 3D boolean operations to a 2D problem: concepts and results. Computer-Aided Design, 28(4):277\u2013287, 1996.","journal-title":"Computer-Aided Design"},{"key":"32_CR4","unstructured":"J.R. Rossignac and M.A O'Connor. SGC: A dimension-independent model for pointsets with internal structures and incomplete boundary. CAD, 1991."},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"A.A.G. Requicha and H.B. Voelcker. Boolean operations in solid modeling: Boundary evaluation and merging algorithms. In Proc. of IEEE, volume 73, january 1985.","DOI":"10.1109\/PROC.1985.13108"},{"key":"32_CR6","series-title":"LNCS","first-page":"75","volume-title":"Algebraic specification and development in geometric modeling","author":"Y. Bertrand","year":"1993","unstructured":"Y. Bertrand, J.F. Dufourd, J.F. Fran\u00e7on, and P. Lienhardt. Algebraic specification and development in geometric modeling. In LNCS, volume 668 of EATCS conf. TAPSOFT, pages 75\u201389, Orsay, France, 1993. Springer-Verlag."},{"issue":"1","key":"32_CR7","first-page":"29","volume":"56","author":"Y. Bertrand","year":"1994","unstructured":"Y. Bertrand and J.F. Dufourd. Algebraic specification of a 3D-modeler based on hypermaps. CVGIP: Graphical Models and Image Processing, 56(1):29\u201360, 1994.","journal-title":"CVGIP: Graphical Models and Image Processing"},{"key":"32_CR8","unstructured":"D. Cazier and J.F. Dufourd. Rewrite-based derivation of efficient algorithms to build planar subdivisions. In Proc. Spring Conf. on Comp. Graphics, pages 45\u201354, 1996."},{"key":"32_CR9","unstructured":"D. Cazier and J.F. Dufourd. Reliable boolean operations on polyhedral solids defined as rewrite systems. In Proc. WSCG'97, pages 40\u201349, Plzen, 1997."},{"key":"32_CR10","unstructured":"D. Cazier. Construction de Syst\u00e8me de r\u00e9\u00e9criture pour les operations bool\u00e9ennes en mod\u00e9lisation g\u00e9om\u00e9trique. PhD thesis, University L. Pasteur, Strasbourg, 1997."},{"key":"32_CR11","unstructured":"W. Tutte. Graph theory. In Encyclopedia of Mathematics and its Applications, chapter 21. Cambridge University Press, 1984."},{"issue":"1","key":"32_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0010-4485(91)90082-8","volume":"23","author":"P. Lienhardt","year":"1991","unstructured":"P. Lienhardt. Topological models for boundary representation: a comparison with n-dimensional generalized maps. Computer-Aided Design, 23(1):59\u201382, 1991.","journal-title":"Computer-Aided Design"},{"key":"32_CR13","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/TC.1979.1675432","volume":"28","author":"J.L. Bentley","year":"1979","unstructured":"J.L. Bentley and T. Ottmann. Algorithms for reporting and counting geometric intersections. IEEE Trans. Comput., 28:643\u2013647, 1979.","journal-title":"IEEE Trans. Comput."},{"issue":"10","key":"32_CR14","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1145\/358656.358681","volume":"25","author":"J. Nievergelt","year":"1982","unstructured":"J. Nievergelt and F.P. Preparata. Plane-sweep algorithms for intersecting geometric figures. Com. of ACM, 25(10):739\u2013747, 1982.","journal-title":"Com. of ACM"},{"issue":"1","key":"32_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/147508.147511","volume":"39","author":"B. Chazelle","year":"1992","unstructured":"B. Chazelle and H. Edelsbrunner. An optimal algorithm for intersecting line segments in the plane. Journal of ACM, 39(1):1\u201354, 1992.","journal-title":"Journal of ACM"},{"key":"32_CR16","unstructured":"H. Ehrig and B. Mahr. Fundamentals of algebraic specification 1. Equations and initial semantics, volume 6 of EATCS Monograph on Theoretical Computer Science. Springer, 1985."},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specifications. In Formal models and semantics, Handbook of Theoretical Computer Science, chapter 13, pages 675\u2013788. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.P. Jouannaud. Rewrite systems. In Formal models and semantics, Handbook of Theoretical Computer Science, chapter 6, pages 243\u2013320. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"32_CR19","volume-title":"Formal specification of interactive graphic programming languages","author":"W.R. Mallgren","year":"1982","unstructured":"W.R. Mallgren. Formal specification of interactive graphic programming languages. ACM Dist. Dissertation. MIT Press, USA, 1982."},{"issue":"3","key":"32_CR20","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1145\/44479.44481","volume":"7","author":"D.A. Duce","year":"1988","unstructured":"D.A. Duce, E.V. Fielding, and L.S. Marshall. Formal specification of a small example based on GKS. ACM Trans. on Graphics, 7(3):180\u2013197, 1988.","journal-title":"ACM Trans. on Graphics"},{"key":"32_CR21","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0304-3975(93)90324-M","volume":"116","author":"B. Br\u00fcderlin","year":"1993","unstructured":"B. Br\u00fcderlin. Using geometric rewrite rules for solving geometric problems symbolically. Theoretical Computer Science, 116:291\u2013303, 1993.","journal-title":"Theoretical Computer Science"},{"key":"32_CR22","unstructured":"J.F. Dufourd. Algebraic map-based topological kernel for polyhedron modellers: algebraic specification and logic prototyping. In Proc. Eurographics, pages 649\u2013662, 1989."},{"key":"32_CR23","unstructured":"V.J. Milenkovic. Practical methods for set operations on polygons using exact arithmetic. In Proc. Canadian Conf. on Computational Geometry, Qubec, 1995."},{"issue":"4","key":"32_CR24","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/356827.356833","volume":"12","author":"A.A.G. Requicha","year":"1980","unstructured":"A.A.G. Requicha. Representation for rigid solids: theory, methods and systems. Computing Survey, 12(4):437\u2013463, 1980.","journal-title":"Computing Survey"},{"key":"32_CR25","unstructured":"J. A. Goguen, T. Winkler, J. Meseguer, K. Futasugi, and J.P. Jouannaud. Introducing OBJ, Cambridge University Press edition, 1992."},{"key":"32_CR26","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and M. Okada. A rational for conditional equational programming. Theoretical Computer Science, 75:111\u2013138, 1990.","journal-title":"Theoretical Computer Science"},{"key":"32_CR27","doi-asserted-by":"crossref","unstructured":"J.F. Dufourd. An OBJ3 functional specification for the boundary representation. In ACM Press, editor, First ACM-SIGGRAPH Symp. on Solid Modeling, pages 61\u201372, Austin, Texas, 1991.","DOI":"10.1145\/112515.112529"},{"key":"32_CR28","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/BF01209624","volume":"30","author":"E. Bevers","year":"1993","unstructured":"E. Bevers and J. Lewi. Proving termination of (conditional) rewrite systems. A semantic approach. Acta Informatica, 30:537\u2013568, 1993.","journal-title":"Acta Informatica"},{"key":"32_CR29","unstructured":"D. Cazier and J.F. Dufourd. A rewrite system to build planar subdivisions. In Proc. Canadian Conf. on Computational Geometry, pages 235\u2013240, Qubec, 1995."},{"key":"32_CR30","unstructured":"C.B. Jones. Systematic software development using VDM. In Texts and Monographs in Computer Science. Prentice-Hall international, 2nd edition, 1990."},{"volume-title":"Software development with Z. a practical approach to formal methods in software engineering","year":"1992","key":"32_CR31","unstructured":"J.B. Wordsworth. Software development with Z. a practical approach to formal methods in software engineering. Addison-Wesley, Workingham, England, 1992."},{"key":"32_CR32","unstructured":"J.M. Spivey. The Z notation \u2014 A reference manual. Prentice-Hall international, 2nd edition, 1992."},{"key":"32_CR33","doi-asserted-by":"crossref","unstructured":"J.V. Guttag and J.J. Horning. Larch: language and tools for formal specification. In Texts and Monographs in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4612-2704-5"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:44:25Z","timestamp":1619574265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}