{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:31Z","timestamp":1725664351350},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592006"},{"type":"electronic","value":"9783540492238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59200-8_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:06:30Z","timestamp":1330275990000},"page":"408-413","source":"Crossref","is-referenced-by-count":7,"title":["Parallel ReDuX \u2192 PaReDuX"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"B\u00fcndgen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"G\u00f6bel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"K\u00fcchlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"J. Avenhaus and J. Denzinger. Distributing equational theorem proving. InC. Kirchner, editor, Rewriting Techniques and Applications (LNCS 690), pages 62-76. Springer-Verlag, 1993. (Proc. RTA'93, Montreal, Canada, June 1993).","DOI":"10.1007\/3-540-56868-9_6"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"R. B\u00fcndgen. Reduce the redex \u2192 ReDuX. In C. Kirchner, editor, Rewriting Techniques and Applications (LNCS 690), pages 446-450. Springer-Verlag, 1993. (Proc. RTA'93, Montreal, Canada, June 1993).","DOI":"10.1007\/3-540-56868-9_35"},{"key":"33_CR3","volume-title":"Technical Report 94-05","author":"R. B\u00fcndgen","year":"1994","unstructured":"R. B\u00fcndgen, M. G\u00f6bel, and W. K\u00fcchlin. Experiments with multi-threaded Knuth-Bendix completion. Technical Report 94-05, Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, D-72076 T\u00fcbingen, 1994."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"R. B\u00fcndgen, M. G\u00f6bel, and W. K\u00fcchlin. A fine-grained parallel completion procedure. In International Symposium on Symbolic and Algebraic Computation, pages 269\u2013277. ACM Press, 1994. (Proc. ISSAC'94, Oxford, England, July 1994).","DOI":"10.1145\/190347.190427"},{"key":"33_CR5","unstructured":"R. B\u00fcndgen, M. G\u00f6bel, and W. K\u00fcchlin. Multi-threaded AC term rewriting. In H. Hong, editor, First International Symposium on Parallel Symbolic Computation PASCO'94, pages 84\u201393. World Scientific, 1994. (Proc. PASCO'94, Linz, Austria, September 1994)."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"J. Christian. Fast Knuth-Bendix completion: Summary. In N. Dershowitz, editor, Rewriting Techniques and Applications (LNCS 355), pages 551\u2013555. Springer-Verlag, 1989. (Proc. RTA'89, Chapel Hill, NC, USA, April 1989).","DOI":"10.1007\/3-540-51081-8_136"},{"key":"33_CR7","volume-title":"Technical Report CMU-CS-88-154","author":"E. C. Cooper","year":"1988","unstructured":"E. C. Cooper and R. P. Draves. C threads. Technical Report CMU-CS-88-154, Computer Science Department, Carnegie Mellon University, Pittsburgh, PA 15213, June 1988."},{"key":"33_CR8","unstructured":"J. Faug\u00e8re. Parallelization of Gr\u00f6bner basis. In H. Hong, editor, First International Symposium on Parallel Symbolic Computation PASCO'94, pages 124\u2013132. World Scientific, 1994. (Proc. PASCO'94, Linz, Austria, September 1994)."},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"H. Hong, A. Neubacher, and W. Schreiner. The design of the SACLIB\/PACLIB kernels. In A. Miola, editor, Design and Implementation of Symbolic Computation Systems (LNCS 722), pages 288\u2013302. Springer-Verlag, 1993. (Proc. DISCO'93, Gmunden, Austria, September 1993).","DOI":"10.1007\/BFb0013184"},{"key":"33_CR10","first-page":"341","volume-title":"volume 508 of LNCS","author":"W. W. K\u00fcchlin","year":"1990","unstructured":"W. W. K\u00fcchlin. PARSAC-2: AparallelSAC-2basedonthreads. In S. Sakata, editor, Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes: 8th International Conference, AAECC-8, volume 508 of LNCS, pages 341\u2013353, Tokyo, Japan, Aug. 1990. Springer-Verlag."},{"key":"33_CR11","series-title":"LNCS","first-page":"1","volume-title":"Computer Algebra and Parallelism","author":"W. W. K\u00fcchlin","year":"1992","unstructured":"W. W. K\u00fcchlin. The S-threads environment for parallel symbolic computation. In R. Zippel, editor, Computer Algebra and Parallelism, volume 584 of LNCS, pages 1\u201318, Ithaca, NY, Mar. 1992. Springer-Verlag. (Proc. CAP'90, Ithaca, NY, May 1990)."},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"W. W. K\u00fcchlin and J. A. Ward. Experiments with virtual C Threads. In Proc. Fourth IEEE Symp. on Parallel and Distributed Processing, pages 50\u201355, Dallas, TX, Dec. 1992. IEEE Press.","DOI":"10.1109\/SPDP.1992.242764"},{"key":"33_CR13","first-page":"209","volume":"1","author":"E. L. Lusk","year":"1985","unstructured":"E. L. Lusk and R. A. Overbeek. Reasoning about equality. Journal of Automated Reasoning, 1:209\u2013228, 1985.","journal-title":"Journal of Automated Reasoning"},{"key":"33_CR14","unstructured":"A. Tarski. Logic, Semantics, Metamathematics. Oxford University Press, 1956."},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"M. Weiser, A. Demers, and C. Hauser. The portable common runtime approach to interoperability. In 12th ACM SOSP, pages 114\u2013122, 1989.","DOI":"10.1145\/74850.74862"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59200-8_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:25:05Z","timestamp":1619573105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59200-8_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592006","9783540492238"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-59200-8_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}