Title of article

Real estate of names

Author/Authors

K. Rustan M. Leino، نويسنده ,

Issue Information

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

Pages

3

From page

169

To page

171

Keywords

Types , Streamlined mathematical expressions

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129327