Word Equations and Related Topics
Editat de Habib Abdulrab, Jean-Pierre Pecucheten Limba Engleză Paperback – 29 iun 1993
Preț: 371.93 lei
Puncte Express: 558
Preț estimativ în valută:
65.78€ • 75.69$ • 56.81£
65.78€ • 75.69$ • 56.81£
Carte tipărită la comandă
Livrare economică 30 aprilie-14 mai
Specificații
ISBN-13: 9783540567301
ISBN-10: 3540567305
Pagini: 228
Ilustrații: VIII, 220 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:1993
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540567305
Pagini: 228
Ilustrații: VIII, 220 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:1993
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.