Skip to main content
SpringerLink
Log in

Word Equations and Related Topics

1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. K. U. Schulz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 572)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Investigations on equations in a free group

    • G. S. Makanin
    Pages 1-11

  3. An analysis of Makanin's algorithm deciding solvability of equations in free groups

    • Antoni KoÅ›cielski
    Pages 12-60

  4. Implementation of Makanin's Algorithm

    • Habib Abdulrab
    Pages 61-84

  5. Makanin's algorithm for word equations-two improvements and a generalization

    • Klaus U. Schulz
    Pages 85-150

  6. Unification theory

    • Franz Baader
    Pages 151-170

  7. Algebraic and logical aspects of unification

    • Alexander Bockmayr
    Pages 171-180

  8. Model-theoretic aspects of unification

    • Alexander Bockmayr
    Pages 181-196

  9. Complete equational unification based on an extension of the Knuth-Bendix completion procedure

    • Akihiko Ohsuga, Kô Sakai
    Pages 197-209

  10. Unification in varieties of completely regular semigroups

    • Franz Baader
    Pages 210-230

  11. A note on confluent Thue systems

    • Ronald V. Book
    Pages 231-236

  12. Confluence of one-rule Thue systems

    • C. Wrathall
    Pages 237-246

  13. Systems of equations over a finite set of words and automata theory

    • Juhani Karhumäki
    Pages 247-249

  14. New systems of defining relations of the braid group

    • A. G. Makanina
    Pages 250-256

  15. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation