{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:22Z","timestamp":1725664522042},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540593409"},{"type":"electronic","value":"9783540492375"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59340-3_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:15:01Z","timestamp":1330258501000},"page":"196-213","source":"Crossref","is-referenced-by-count":3,"title":["Affine geometry of collinearity and conditional term rewriting"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[]},{"given":"Luis Fari\u00f1as","family":"Cerro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","volume-title":"El\u00e9ments de g\u00e9om\u00e9trie m\u00e9canique","author":"P. Balbiani","year":"1994","unstructured":"P. Balbiani, V. Dugat, L. Fari\u00f1as del Cerro and A. Lopez. El\u00e9ments de g\u00e9om\u00e9trie m\u00e9canique. Herm\u00e8s, Paris, France, 1994."},{"key":"14_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-7118-2","volume-title":"Canonical Equational Proofs","author":"L. Bachmair","year":"1991","unstructured":"L. Bachmair. Canonical Equational Proofs. Birkha\u00fcser, Boston, Massachusetts, 1991."},{"unstructured":"A. Bockmayr. Conditional rewriting and narrowing as a theoretical framework for logic-functional programming. Technical report 10\/86, Institut f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1986.","key":"14_CR3"},{"key":"14_CR4","volume-title":"Recent Trends in Multidimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger. Gr\u00f6bner bases: an algorithmic method in polynomial ideal theory. In N. Bose editor: Recent Trends in Multidimensional Systems Theory. Reidel, Dordrecht, Netherlands, 1985."},{"unstructured":"J.-P. Colette. Histoire des math\u00e9matiques. Editions du renouveau p\u00e9dagogique, Ottawa, Canada, 1979.","key":"14_CR5"},{"key":"14_CR6","first-page":"243","volume-title":"Handbook of Theoretical Computer Science: Formal Models and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor: Handbook of Theoretical Computer Science: Formal Models and Semantics. North-Holland, Amsterdam, Netherlands, p. 243\u2013309, 1990."},{"doi-asserted-by":"crossref","unstructured":"H. Ganzinger. Ground term confluence in parametric conditional equational specifications. Proceedings of the Symposium on Theoretical Aspects of Computer Science. Springer-Verlag, LNCS 247,1987.","key":"14_CR7","DOI":"10.1007\/BFb0039613"},{"doi-asserted-by":"crossref","unstructured":"H. Ganzinger. A completion procedure for conditional equations. In S. Kaplan and J.-P. Jouannaud, editors: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 1987, Proceedings. Springer Verlag, LNCS 308, p. 62\u201383, 1988.","key":"14_CR8","DOI":"10.1007\/3-540-19242-5_6"},{"key":"14_CR9","volume-title":"Les fondements de la g\u00e9om\u00e9trie","author":"D. Hilbert","year":"1971","unstructured":"D. Hilbert. Les fondements de la g\u00e9om\u00e9trie. Dunod, Paris, France, 1971."},{"doi-asserted-by":"crossref","unstructured":"J.-M. Hullot. Canonical forms and unification. Proceedings of the Fifth Conference on Automated Deduction. Springer-Verlag, LNCS 87, p. 318\u2013334, 1980.","key":"14_CR10","DOI":"10.21236\/ADA087640"},{"doi-asserted-by":"crossref","unstructured":"H. Hu\u00dfmann. Unification in conditional equational theories. In: EUROCAL, Linz, Austria, 1985, Proceedings. Springer-Verlag, LNCS 204, p. 543\u2013553, 1985.","key":"14_CR11","DOI":"10.1007\/3-540-15984-3_328"},{"issue":"number3","key":"14_CR12","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(87)80010-X","volume":"4","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. Simplifying conditional term rewriting systems: unification, termination and confluence. In: Journal of Symbolic Computation, volume 4, number 3, p. 295\u2013334, 1987.","journal-title":"Journal of Symbolic Computation"},{"doi-asserted-by":"crossref","unstructured":"S. Kaplan. Positive\/negative conditional rewriting. In S. Kaplan and J.-P. Jouannaud, editors: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, july 1987, Proceedings. Springer Verlag, LNCS 308, p. 129\u2013141, 1988.","key":"14_CR13","DOI":"10.1007\/3-540-19242-5_11"},{"unstructured":"C. Kirchner. M\u00e9thodes et outils de conception syst\u00e9matique d'algorithmes d'unification dans les th\u00e9ories \u00e9quationnelles. Th\u00e8se d'\u00e9tat de l'universit\u00e9 de Nancy, 1985.","key":"14_CR14"},{"issue":"number2","key":"14_CR15","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"M. Martelli","year":"1982","unstructured":"M. Martelli and U. Montanari. An efficient unification algorithm. In: ACM Transactions on Programming Languages and Systems, volume 4, number 2, pages 258\u2013282, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"A. Middeldorp and E. Hamoen. Counterexamples to completeness results for basic narrowing. In H. Kirchner and G. Levi (editors): Algebraic and Logic Programming, Third International ALP Conference, Volterra, Italy, september 1992, Proceedings. Springer-Verlag, LNCS 632, p. 244\u2013258, 1992.","key":"14_CR16","DOI":"10.1007\/BFb0013830"},{"key":"14_CR17","volume-title":"D\u00e9monstration automatique, techniques de r\u00e9\u00e9criture","author":"M. Rusinowitch","year":"1989","unstructured":"M. Rusinowitch. D\u00e9monstration automatique, techniques de r\u00e9\u00e9criture. InterEditions, Paris, France, 1989."},{"key":"14_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0435-0","volume-title":"A Proof Theory for General Unification","author":"W. Snyder","year":"1991","unstructured":"W. Snyder. A Proof Theory for General Unification. Birkh\u00e4user, Boston, Massachusetts, 1991."},{"doi-asserted-by":"crossref","unstructured":"W.-T. Wu. Basic Principles of Mechanical Theorem Proving in Geometries. Springer-Verlag, 1994.","key":"14_CR19","DOI":"10.1007\/978-3-7091-6639-0"}],"container-title":["Lecture Notes in Computer Science","Term Rewriting"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59340-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:26:57Z","timestamp":1605630417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59340-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540593409","9783540492375"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-59340-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}