Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings
著者
書誌事項
Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings
（Lecture notes in computer science, 572）
Springer-Verlag, c1992
- : gw
- : us
大学図書館所蔵 件 / 全54件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より
