{"product_id":"9783540563938","title":"Lecture Notes in Computer Science: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eRusinowitch, Michael; Remy, Jean-Luc\u003c\/h2\u003e \u003cp\u003eThis volume contains the papers preesented at the Third\nInternational       Workshop on Conditional Term Rewriting\nSystems, held in Pont- -Mousson,     France, July 8-10, 1992.\nTopics covered include conditional rewriting and   its\napplications to programming languages, specification\nlanguages,     automated deduction, constrained rewriting, typed\nrewriting, higher-order   rewriting, and graph rewriting.\nThe volume contains 40 papers, including    four invited talks:\nAlgebraic semantics of rewriting terms and types, by    K.\nMeinke; Generic induction proofs, by P. Padawitz;\nConditional term   rewriting and first-order theorem proving,\nby D. Plaisted; and Decidability of finiteness properties\n(abstract), by L. Pacholski.\nThe first CTRS    workshop was held at the University of Paris\nin 1987 and the second at      Concordia University, Montreal, in\n1990. Their proceddings are published as Lecture Notes in\nComputer Science Volumes 308 and 516 respectively.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-01-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540563938\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56393-8\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 507\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066239628,"sku":"9783540563938","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540563938.jpg?v=1773969679","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540563938","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}