↓ Skip to main content
What is this page? Embed badge

Word Equations and Related Topics

Overview of attention for book
Cover of 'Word Equations and Related Topics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 27 On general solution of equations in a free semigroup
  3. Altmetric Badge
    Chapter 28 Conjugacy in free inverse monoids
  4. Altmetric Badge
    Chapter 29 General A- and AX-unification via optimized combination procedures
  5. Altmetric Badge
    Chapter 30 Word equations with two variables
  6. Altmetric Badge
    Chapter 31 The naming problem for left distributivity
  7. Altmetric Badge
    Chapter 32 A case of termination for associative unification
  8. Altmetric Badge
    Chapter 33 Theorem proving by combinatorial optimization
  9. Altmetric Badge
    Chapter 34 Solving string equations with constant restrictions
  10. Altmetric Badge
    Chapter 35 LOP: Toward a new implementation of Makanin's Algorithm
  11. Altmetric Badge
    Chapter 36 Word unification and transformation of generalized equations
  12. Altmetric Badge
    Chapter 37 Unification in the combination of disjoint theories
  13. Altmetric Badge
    Chapter 38 On the subsets of rank two in a free monoid: A fast decision algorithm
  14. Altmetric Badge
    Chapter 39 A solution of the complement problem in associatiue-commutatiue theories
Attention for Chapter 29: General A- and AX-unification via optimized combination procedures
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
General A- and AX-unification via optimized combination procedures
Chapter number 29
Book title
Word Equations and Related Topics
Published by
Springer, Berlin, Heidelberg, October 1991
DOI 10.1007/3-540-56730-5_29
Book ISBNs
978-3-54-056730-1, 978-3-54-047636-8
Authors

Franz Baader, Klaus U. Schulz, Baader, Franz, Schulz, Klaus U.

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Austria 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.