[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Deciding algebraic properties of monoids presented by finite church-rosser Thue systems
Jouannaud, Jean-PierreVolume:
10.1007/3-
Année:
1985
Langue:
english
DOI:
10.1007/3-540-15976-2_4
Fichier:
PDF, 742 KB
english, 1985