Word Equations and Related Topics
Produktnummer:
18993b3793feb14f128cce54c193a41ee4
Themengebiete: | Listen-Bearbeitung Makanin-Algorithmus Makanin-algorithm Theue systems Thue-Systeme Wort-Gleichungen Wort-Kombinatorik algorithms combinatorics combinatorics on words |
---|---|
Veröffentlichungsdatum: | 29.01.1992 |
EAN: | 9783540551249 |
Sprache: | Englisch |
Seitenzahl: | 264 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Schulz, Klaus U. |
Verlag: | Springer Berlin |
Untertitel: | 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings |
Produktinformationen "Word Equations and Related Topics"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen