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
Link To Document