مرکز منطقه ای اطلاع رساني علوم و فناوري - Termination is not modular for confluent variable-preserving term rewriting systems

Title of article :

Termination is not modular for confluent variable-preserving term rewriting systems

Author/Authors :

Enno Ohlebusch، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1995

Pages :

From page :

223

To page :

228

Keywords :

modularity , Program specification , Termination , Tenn rewriting

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128205

Link To Document :