{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:30:33Z","timestamp":1778301033105,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581406","type":"print"},{"value":"9783540484424","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58140-5_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:19:46Z","timestamp":1330269586000},"page":"379-392","source":"Crossref","is-referenced-by-count":29,"title":["Weak orthogonality implies confluence: The higher-order case"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Oostrom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Femke","family":"Raamsdonk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz, Jean-Pierre Jouannaud, and Jan Willem Klop. More problems in rewriting. Pp. 468\u2013487 of LNCS 690, Proceedings of 5th RTA, 1993.","DOI":"10.1007\/3-540-56868-9_39"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Georges Gonthier, Jean-Jacques L\u00e9vy, and Paul-Andr\u00e9 Melli\u00e8s. An abstract standardisation theorem. Pp. 72\u201381, Proceedings of 7th LICS, 1992.","DOI":"10.1109\/LICS.1992.185521"},{"key":"35_CR3","unstructured":"G\u00e9rard Huet and Jean-Jacques L\u00e9vy. Computations in orthogonal rewriting systems, I. Ch. 11 of Computational Logic: Essays in Honor of Alan Robinson, 1991."},{"key":"35_CR4","series-title":"Mathematical Centre Tracts Nr. 127","volume-title":"PhD Thesis","author":"J.W. Klop","year":"1980","unstructured":"J.W. Klop. Combinatory Reduction Systems. Mathematical Centre Tracts Nr. 127. Mathematisch Centrum, Amsterdam, 1980. PhD Thesis."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow. Higher-order critical pairs. Pp. 342\u2013349 of Proceedings of 6th LICS, 1991.","DOI":"10.1109\/LICS.1991.151658"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow. Orthogonal higher-order rewrite systems are confluent. Pp. 306\u2013317 of LNCS 664, Proceedings of TLCA'93, 1993.","DOI":"10.1007\/BFb0037114"},{"key":"35_CR7","volume-title":"PhD thesis","author":"V. Oostrom van","year":"1994","unstructured":"Vincent van Oostrom. Confluence for Abstract and Higher-Order Rewriting. PhD thesis, Vrije Universiteit, Amsterdam, March 1994."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"V. van Oostrom and F. van Raamsdonk. Comparing combinatory reduction systems and higher-order rewrite systems. Technical Report CS-R9361, CWI, 1993. To appear in LNCS, Proceedings of HOA'93.","DOI":"10.1007\/3-540-58233-9_13"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"D.A. Wolfram. The Clausal Theory of Types, volume 21 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511569906"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58140-5_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:20:20Z","timestamp":1742595620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58140-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581406","9783540484424"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58140-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}