Title of article

On computing representatives

Author/Authors

Richard S. Bird، نويسنده , , Jes?s N. Ravelo، نويسنده ,

Issue Information

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

Pages

7

From page

1

To page

7

Keywords

Formal program derivation , shortest paths , Calculus of relations

Journal title

Information Processing Letters

Serial Year

1997

Journal title

Information Processing Letters

Record number

128708