Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Word Equations and Related Topics

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.
EAN: 9783540551249
Sprache: Englisch
Seitenzahl: 264
Produktart: kartoniert, broschiert
Verlag: Springer Springer, Berlin Springer Berlin Heidelberg
Untertitel: First International Workshop, Tübingen, Germany, October 1-3, 1990. Proceedings
Schlagworte: Gleichungen Wort / Wörter
Größe: 235
Gewicht: 416 g