Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
Author:   Habib Abdulrab ,  Jean-Pierre Pecuchet
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   1993 ed.
Volume:   677
ISBN:  

9783540567301


Pages:   220
Publication Date:   29 June 1993
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $158.27 Quantity:  
Add to Cart

Share |

Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings


Add your own review!

Overview

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.

Full Product Details

Author:   Habib Abdulrab ,  Jean-Pierre Pecuchet
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1993 ed.
Volume:   677
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.30cm
Weight:   0.730kg
ISBN:  

9783540567301


ISBN 10:   3540567305
Pages:   220
Publication Date:   29 June 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

On general solution of equations in a free semigroup.- Conjugacy in free inverse monoids.- General A- and AX-unification via optimized combination procedures.- Word equations with two variables.- The naming problem for left distributivity.- A case of termination for associative unification.- Theorem proving by combinatorial optimization.- Solving string equations with constant restrictions.- LOP: Toward a new implementation of Makanin's Algorithm.- Word unification and transformation of generalized equations.- Unification in the combination of disjoint theories.- On the subsets of rank two in a free monoid: A fast decision algorithm.- A solution of the complement problem in associatiue-commutatiue theories.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now