• Title of article

    On computing a longest path in a tree

  • Author/Authors

    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، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 2002
  • Pages
    4
  • From page
    93
  • To page
    96
  • Keywords
    Program derivation , Calculational reasoning
  • Journal title
    Information Processing Letters
  • Serial Year
    2002
  • Journal title
    Information Processing Letters
  • Record number

    129447