Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings by Habib Abdulrab, Jean-Pierre Pecuchet (Paperback, 1993)
This volume contains papers presented at the secondInternational Workshop on Word Equations and Related Topics(IWWERT '91), held at the University ofRouen in October1991. The papers are on the following topics: general solution ofword equations, conjugacy in free inverse monoids, generalA- and AX-unification via optimized combination procedures,wordequations with two variables, a conjecture aboutconjugacy in free groups, acase of termination forassociative unification, theorem proving by combinatorialoptimization, solving string equations with constantrestriction, LOP (toward a new implementation of Makanin'salgorithm), word unification and transformation ofgeneralizedequations, unification in the combination ofdisjoint theories, on the subsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories.
Product Identifiers
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540567301
eBay Product ID (ePID)
95525193
Product Key Features
Author
Habib Abdulrab, Jean-Pierre Pecuchet
Publication Name
Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
1993
Type
Textbook
Number of Pages
220 Pages
Dimensions
Item Height
233mm
Item Width
155mm
Volume
677
Item Weight
730g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Editor
Jean-Pierre Pecuchet, Habib Abdulrab
Country/Region of Manufacture
Germany
Best Selling in Textbooks
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks