{"product_id":"9783540567301","title":"Lecture Notes in Computer Science: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings\u003c\/h1\u003e \u003ch2\u003eAbdulrab, Habib; Pecuchet, Jean-Pierre\u003c\/h2\u003e \u003cp\u003eThis volume contains papers presented at the second\nInternational Workshop  on Word Equations and Related Topics\n(IWWERT '91), held at the University ofRouen in October\n1991.\nThe papers are on the following topics: general  solution of\nword equations, conjugacy in free inverse monoids,              general\nA- and AX-unification via optimized combination procedures,\nwordequations with two variables, a conjecture about\nconjugacy in free groups, acase of termination for\nassociative unification, theorem proving by         combinatorial\noptimization, solving string equations with                   constant\nrestriction, LOP (toward a new implementation of                   Makanin's\nalgorithm), word unification and transformation of\ngeneralizedequations, unification in the combination of\ndisjoint theories, on the      subsets of rank two in a free\nmonoid (a fast decision algorithm), and a     solution of the\ncomplement problem in associative-commutative theories.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-06-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540567301\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56730-5\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 220\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370080002188,"sku":"9783540567301","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540567301.jpg?v=1773970077","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540567301","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}