Title of article :
Abstract derivation of transitive closure algorithms
Author/Authors :
L. M. G. Feijs، نويسنده , , R. C. van Ommering، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1997
Keywords :
Transitive closure , Algorithms , Program specification
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
