Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Word Equations and Related Topics - Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings (Paperback, 1993 ed.)
Loot Price: R1,576
Discovery Miles 15 760
|
|
Word Equations and Related Topics - Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings (Paperback, 1993 ed.)
Series: Lecture Notes in Computer Science, 677
Expected to ship within 10 - 15 working days
|
This volume contains papers presented at the second International
Workshop on Word Equations and Related Topics (IWWERT '91), held at
the University ofRouen in October 1991. The papers are on the
following topics: general solution of word equations, conjugacy in
free inverse monoids, general A- and AX-unification via optimized
combination procedures, wordequations with two variables, a
conjecture about conjugacy in free groups, acase of termination for
associative unification, theorem proving by combinatorial
optimization, solving string equations with constant restriction,
LOP (toward a new implementation of Makanin's algorithm), word
unification and transformation of generalizedequations, unification
in the combination of disjoint theories, on the subsets of rank two
in a free monoid (a fast decision algorithm), and a solution of the
complement problem in associative-commutative theories.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.