Format:
Online-Ressource (256 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540467373
Series Statement:
Lecture notes in computer science 572
Content:
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.
Content:
This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects 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, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups.
Note:
Literaturangaben
Additional Edition:
ISBN 3540551247
Additional Edition:
ISBN 9783540551249
Additional Edition:
Erscheint auch als Druck-Ausgabe Word equations and related topics Berlin : Springer, 1992 ISBN 3540551247
Additional Edition:
ISBN 0387551247
Language:
English
Subjects:
Computer Science
,
Comparative Studies. Non-European Languages/Literatures
Keywords:
Wortgleichung
;
Konferenzschrift
DOI:
10.1007/3-540-55124-7
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink