Title of article
Termination is not modular for confluent variable-preserving term rewriting systems
Author/Authors
Enno Ohlebusch، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
6
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