Title of article

Games and winning strategies

Author/Authors

R. J. R. Back، نويسنده , , J. von Wright، نويسنده ,

Issue Information

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

Pages

8

From page

165

To page

172

Keywords

Formal semantics , Program correctness , Programming calculi

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128198