Title of article :
On computing representatives
Author/Authors :
Richard S. Bird، نويسنده , , Jes?s N. Ravelo، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1997
Keywords :
Formal program derivation , shortest paths , Calculus of relations
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters