Title of article
Permutative rewriting and unification
Author/Authors
Thierry Boy de la Tour، نويسنده , , Mnacho Echenim، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
27
From page
624
To page
650
Keywords
Equational theories , Term rewriting , Permutation groups , E-unification
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262401
Link To Document