Bulterman, R. W.; van der Sommen, F. W.; Zwaan, G.; Verhoeff, T. On computing a longest path in a tree. (English) Zbl 1032.68671 Inf. Process. Lett. 81, No. 2, 93-96 (2002). Cited in 22 Documents MSC: 68R10 Graph theory (including graph drawing) in computer science 68N99 Theory of software Keywords:Program derivation; Calculational reasoning × Cite Format Result Cite Review PDF Full Text: DOI