Title of article :
Polymorphic Rewriting Conserves Algebraic Confluence
Author/Authors :
Breazutannen V.، نويسنده , , Gallier J.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1994
Journal title :
Information and Computation
Journal title :
Information and Computation