Word Equations and Related Topics: 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings by Klaus U. SchulzWord Equations and Related Topics: 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings by Klaus U. Schulz

Word Equations and Related Topics: 1st International Workshop, IWWERT '90, Tübingen, Germany…

EditorKlaus U. Schulz

Paperback | January 29, 1992

Pricing and Purchase Info

$110.50

Earn 553 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld at the University of T}bingen in October 1990. Wordequations, the central topic of this annual workshop, lieatthe intersection of several important areas of computerscience, suchas unification theory, combinatorics on words,list processing, and constraint logic programming. Theworkshop is a forum where researchers fromthese differentdomains may present and discuss results and ideas, therebysupporting interaction and cross-fertilization betweentheoretical questions and practical applications. The volumecollects papers which:- contain new and relevant results,- describe a new approach to a subject, or- give a survey of main developments in an area.Papers cover investigations on free groups, associativeunification and Makanin's algorithm to decide thesolvability of equations in free semigroups, generalunification theory and its relationship to algebra and modeltheory, Thue systems, and finitely presented groups.
Title:Word Equations and Related Topics: 1st International Workshop, IWWERT '90, Tübingen, Germany…Format:PaperbackDimensions:263 pages, 9.25 × 6.1 × 0.01 inPublished:January 29, 1992Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540551247

ISBN - 13:9783540551249

Look for similar items by category:

Reviews

Table of Contents

Investigations on equations in a free group.- An analysis of Makanin's algorithm deciding solvability of equations in free groups.- Implementation of Makanin's Algorithm.- Makanin's algorithm for word equations-two improvements and a generalization.- Unification theory.- Algebraic and logical aspects of unification.- Model-theoretic aspects of unification.- Complete equational unification based on an extension of the Knuth-Bendix completion procedure.- Unification in varieties of completely regular semigroups.- A note on confluent Thue systems.- Confluence of one-rule Thue systems.- Systems of equations over a finite set of words and automata theory.- New systems of defining relations of the braid group.