Word Equations and Related Topics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540551249, 9783540467373

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unification in varieties of completely regular semigroups

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_9 ◽

1992 ◽

pp. 210-230 ◽

Author(s):

Franz Baader

Keyword(s):

Regular Semigroups ◽

Completely Regular ◽

Completely Regular Semigroups

Download Full-text

Unification theory

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_5 ◽

1992 ◽

pp. 151-170 ◽

Author(s):

Franz Baader

Keyword(s):

Unification Theory

Download Full-text

Implementation of Makanin's Algorithm

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_3 ◽

1992 ◽

pp. 61-84 ◽

Author(s):

Habib Abdulrab

Download Full-text

New systems of defining relations of the braid group

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_13 ◽

1992 ◽

pp. 250-256

Author(s):

A. G. Makanina

Keyword(s):

Braid Group ◽

Defining Relations

Download Full-text

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

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_12 ◽

1992 ◽

pp. 247-249

Author(s):

Juhani Karhumäki

Keyword(s):

Automata Theory ◽

Systems Of Equations ◽

Download Full-text

A note on confluent Thue systems

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_10 ◽

1992 ◽

pp. 231-236

Author(s):

Ronald V. Book

Download Full-text

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

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_8 ◽

1992 ◽

pp. 197-209

Author(s):

Akihiko Ohsuga ◽

Kô Sakai

Keyword(s):

Equational Unification

Download Full-text

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

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_2 ◽

1992 ◽

pp. 12-60 ◽

Author(s):

Antoni Kościelski

Keyword(s):

Download Full-text

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

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_4 ◽

1992 ◽

pp. 85-150 ◽

Author(s):

Klaus U. Schulz

Keyword(s):

Download Full-text

Confluence of one-rule Thue systems

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_11 ◽

1992 ◽

pp. 237-246 ◽

Author(s):

C. Wrathall

Download Full-text