Title of article

Term rewriting and Hoare logic — Coded rewriting

Author/Authors

Yong Sun، نويسنده ,

Issue Information

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

Pages

6

From page

237

To page

242

Keywords

Coded rewriting , Equations , Hoare logic , Algebras , Tenn rewriting

Journal title

Information Processing Letters

Serial Year

1996

Journal title

Information Processing Letters

Record number

128592