Title of article

Variables and scopes considered formally

Author/Authors

Eric C. R. Hehner، نويسنده ,

Issue Information

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

Pages

6

From page

33

To page

38

Keywords

Instantiation , variables , Renaming , Scopes , Formal languages

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129348