Normal view
MARC view
Induction(Logic) (Topical Term)
Machine generated authority record.
Work cat.: (OSt)276317: Prasanna Kumar, K. 12274, Dependence analysis of functional programs and its applications (R), 2019