ENGLISH

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

By G. S. Makanin (auth.) , K. U. Schulz (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1992
ISBN
3540551247, 9783540551249
DOI
10.1007/3-540-55124-7
LCC
QA76.9.N38 I94 1990
Open Library ID
OL1563293M
Language
english
Format
DJVU
Filesize
2 MB (2306653 bytes)
Series
Lecture Notes in Computer Science 572
Edition
1
Pages
264\263
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Mathematical Logic and Formal Languages; Data Stru

Description

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.

Similar books