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

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540567301, 9783540476368
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Word equations with two variables

1993 ◽  
pp. 43-56 ◽  
Author(s):  
Witold Charatonik ◽  
Leszek Pacholski
Keyword(s):  
Word Equations

A case of termination for associative unification

1993 ◽  
pp. 79-89 ◽  
Author(s):  
Patrice Enjalbcrt ◽  
FranÇoise Clerin-Debart

General A- and AX-unification via optimized combination procedures

1993 ◽  
pp. 23-42 ◽  
Author(s):  
Franz Baader ◽  
Klaus U. Schulz

A solution of the complement problem in associatiue-commutatiue theories

1993 ◽  
pp. 197-214
Author(s):  
Kounalis Emmanuel ◽  
Lugiez Denis ◽  
Pottier Loic

The naming problem for left distributivity

1993 ◽  
pp. 57-78
Author(s):  
Patrick Dehornoy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document