On computing a longest path in a tree

Eindhoven Tuesday Afternoon Club، نويسنده , , R. W. Bulterman، نويسنده , , F. W. van der Sommen، نويسنده , , G. Zwaan، نويسنده , , T. Verhoeff، نويسنده , , A. J. M. van Gasteren، نويسنده , , W. H. J. Feijen، نويسنده ,

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

4

93

96

Program derivation , Calculational reasoning

Information Processing Letters

2002

Information Processing Letters

129447