{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:18Z","timestamp":1725456018761},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024172","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T04:49:34Z","timestamp":1132375774000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["Implementing parallel rewriting"],"prefix":"10.1007","author":[{"given":"Claude","family":"Kirchner","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Viry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2\/3","key":"1_CR1","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/S0019-9958(85)80003-6","volume":"65","author":"N. Dershowitz","year":"1985","unstructured":"N. Dershowitz. Computing with rewrite systems. Information and Control, 65(2\/3):122\u2013157, 1985.","journal-title":"Information and Control"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Handbook of Theoretical Computer Science, chapter 15: Rewrite systems. Volume B, North-Holland, 1990. Also as: Research report 478, LRI.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"1_CR3","unstructured":"L. Fribourg. Slog: a logic programming language interpreter based on clausal superposition and rewriting. In Proceedings of the IEEE Symposium on Logic Programming, pages 172\u2013184, Boston, MA, July 1985."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ-2. In B. Reid, editor, Proceedings 12th ACM Symp. on Principles of Programming Languages, pages 52\u201366, Association for Computing Machinery, 1985.","DOI":"10.1145\/318593.318610"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"J. Goguen, C. Kirchner, H. Kirchner, A. Megrelis, J. Meseguer, and T. Winkler. An introduction to OBJ-3. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Springer-Verlag, June 1988. Lecture Notes in Computer Science, volume 308. Also as internal report CRIN: 88-R-001.","DOI":"10.1007\/3-540-19242-5_22"},{"key":"1_CR6","unstructured":"J. Goguen, C. Kirchner, S. Leinwand, J. Meseguer, and T. Winkler. Progress report on the rewrite rule machine. IEEE Computer Architecture Technical Commitee Newsletter, 7\u201321, march 1986."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"J. Goguen, C. Kirchner, and J. Meseguer. Concurrent term rewriting as a model of computation. In R. Keller and J. Fasel, editors, Proceedings of Graph Reduction Workshop, pages 53\u201393, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18420-1_50"},{"key":"1_CR8","unstructured":"J.A. Goguen. The rewrite rule machine project. In Proceedings of the second international conference on supercomputing, Santa Clara, California, May 1987."},{"key":"1_CR9","unstructured":"J.A. Goguen, C. Kirchner, and J. Meseguer. Models of computation for the rewrite rule machine. Technical Report, Rapport CRIN 86-R-104, 1986."},{"key":"1_CR10","unstructured":"J.A. Goguen and J. Meseguer. EQLOG: equality, types and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming. Funstions, relations and equations, Prentice Hall, 1986."},{"key":"1_CR11","series-title":"internal report","volume-title":"ASF System User's Guide","author":"P.R.H. Hendriks","year":"1988","unstructured":"P.R.H. Hendriks. ASF System User's Guide. internal report CS-R8823, Centre for Mathematics and Computer Science, PO BOX 4079, 1009 AB Amsterdam, Netherlands, May 1988."},{"key":"1_CR12","unstructured":"M. Hermann, C. Kirchner, and H. Kirchner. Implementations of term rewriting systems. 1989. Report CRIN 89-R-218. To appear in the Computer Journal, Bristish Computer Society."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"T. Heuillard. Compiling conditional rewriting systems. In S. Kaplan and J.-P. Jouannaud, editors, Proceedings of 1st International workshop on conditional term rewriting systems, pages 111\u2013128, Springer-Verlag, 1987. Lecture Notes in Computer Science, volume 308.","DOI":"10.1007\/3-540-19242-5_10"},{"issue":"1","key":"1_CR14","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/322290.322295","volume":"29","author":"C. Hoffmann","year":"1982","unstructured":"C. Hoffmann and M.J. O'Donnell. Pattern matching in trees. Journal of the Association for Computing Machinery, 29(1):68\u201395, 1982.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"1_CR15","unstructured":"G. Huet and J.J. Levy. Call by Need Computations in Non-ambiguous Linear Term Rewriting Systems. Research report 359, INRIA, August 1979."},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/B978-0-12-115350-2.50017-8","volume-title":"Formal Language Theory: Perspectives and Open Problems","author":"G. Huet","year":"1980","unstructured":"G. Huet and D. Oppen. Equations and rewrite rules: a survey. In R. Book, editor, Formal Language Theory: Perspectives and Open Problems, pages 349\u2013405, Academic Press, New-York, 1980."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-17220-3_3","volume-title":"Proceedings Second Conference on Rewriting Techniques and Applications","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. A compiler for conditional term rewriting system. In P. Lescanne, editor, Proceedings Second Conference on Rewriting Techniques and Applications, pages 25\u201341, Springer Verlag, Bordeaux (France), May 1987. Lecture Notes in Computer Science, volume 256."},{"key":"1_CR18","unstructured":"Jos\u00e9 Meseguer. Rewriting as a Unified Model of Concurrency. Technical Report SRI-CSL-90-02, SRI International, Computer Science Laboratory, February 1990. submitted."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"M. J. O'Donnell. Computing in Systems Described by Equations. Volume 58 of Lecture Notes in Computer Science, Springer-Verlag, 1977.","DOI":"10.1007\/3-540-08531-9"},{"key":"1_CR20","unstructured":"P. Viry. Implantation parall\u00e8le de la surr\u00e9duction et de la r\u00e9\u00e9criture. Rapport de DEA de l'universit\u00e9 de Nancy I, September 1989."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024172.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:52:10Z","timestamp":1607532730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0024172","relation":{},"subject":[]}}