Word Equations and Related Topics

1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
1992
ISBN: 978-3-540-55124-9
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 572, 264 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 417 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Schulz, Klaus U.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme

Inhaltsverzeichnis

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.