An unfold/fold transformation framework for definite logic programs

• المؤلفون الرئيسيون: Roychoudhury, A., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: مقال
• منشور في: 2013
• الموضوعات: Folding; Inductive theorem proving; Logic programming; Program transformation; Unfolding
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/39162

10.1145/982158.982160