| 书目名称 | Word Equations and Related Topics | | 副标题 | 1st International Wo | | 编辑 | K. U. Schulz | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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-fertilizationbetweentheoretical 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 maindevelopments in an area.Papers cover investigations on free groups,associativeunification and Makanin‘s algorithm to decide thesolvability of equations in free semigroups, generalunificationtheory and its relationship to algebra and modeltheory, Thue systems, andfinitely presented groups. | | 出版日期 | Conference proceedings 1992 | | 关键词 | Listen-Bearbeitung; Makanin-Algorithmus; Makanin-algorithm; Theue systems; Thue-Systeme; Wort-Gleichungen | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-55124-7 | | isbn_softcover | 978-3-540-55124-9 | | isbn_ebook | 978-3-540-46737-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
发表于 2025-3-21 17:22:30
