Word Equations and Related Topics
Second International Workshop, IWWERT '91. Rouen, France, October 7-9, 1991. Proceedings
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
65.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Word Equations and Related Topics “
Klappentext zu „Word Equations and Related Topics “
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.
Inhaltsverzeichnis zu „Word Equations and Related Topics “
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.
Bibliographische Angaben
- 1993, 1993, 220 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Habib Abdulrab and Jean-Pierre Pecuchet
- Herausgegeben: Jean-Pierre Pecuchet, Habib Abdulrab
- Verlag: Springer
- ISBN-10: 3540567305
- ISBN-13: 9783540567301
- Erscheinungsdatum: 29.06.1993
Sprache:
Englisch
Kommentar zu "Word Equations and Related Topics"
Schreiben Sie einen Kommentar zu "Word Equations and Related Topics".
Kommentar verfassen