Beyond tamaki-sato style unfold/fold transformations for normal logic programs

10.1142/S0129054102001175

Saved in:

Bibliographic Details
Main Authors:	Roychoudhury, A., Narayan Kumar, K., Ramakrishnan, C.R., Ramakrishnan, I.V.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2014
Subjects:	Logic Programming Normal Logic Programs Program Transformations Unfold/Fold Transformations
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78043
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78043
record_format	dspace
spelling	sg-nus-scholar.10635-780432015-01-05T20:12:55Z Beyond tamaki-sato style unfold/fold transformations for normal logic programs Roychoudhury, A. Narayan Kumar, K. Ramakrishnan, C.R. Ramakrishnan, I.V. COMPUTER SCIENCE Logic Programming Normal Logic Programs Program Transformations Unfold/Fold Transformations 10.1142/S0129054102001175 International Journal of Foundations of Computer Science 13 3 387-403 2014-07-04T03:11:45Z 2014-07-04T03:11:45Z 2002 Conference Paper Roychoudhury, A.,Narayan Kumar, K.,Ramakrishnan, C.R.,Ramakrishnan, I.V. (2002). Beyond tamaki-sato style unfold/fold transformations for normal logic programs. International Journal of Foundations of Computer Science 13 (3) : 387-403. ScholarBank@NUS Repository. <a href="https://doi.org/10.1142/S0129054102001175" target="_blank">https://doi.org/10.1142/S0129054102001175</a> 01290541 http://scholarbank.nus.edu.sg/handle/10635/78043 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Logic Programming Normal Logic Programs Program Transformations Unfold/Fold Transformations
spellingShingle	Logic Programming Normal Logic Programs Program Transformations Unfold/Fold Transformations Roychoudhury, A. Narayan Kumar, K. Ramakrishnan, C.R. Ramakrishnan, I.V. Beyond tamaki-sato style unfold/fold transformations for normal logic programs
description	10.1142/S0129054102001175
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Roychoudhury, A. Narayan Kumar, K. Ramakrishnan, C.R. Ramakrishnan, I.V.
format	Conference or Workshop Item
author	Roychoudhury, A. Narayan Kumar, K. Ramakrishnan, C.R. Ramakrishnan, I.V.
author_sort	Roychoudhury, A.
title	Beyond tamaki-sato style unfold/fold transformations for normal logic programs
title_short	Beyond tamaki-sato style unfold/fold transformations for normal logic programs
title_full	Beyond tamaki-sato style unfold/fold transformations for normal logic programs
title_fullStr	Beyond tamaki-sato style unfold/fold transformations for normal logic programs
title_full_unstemmed	Beyond tamaki-sato style unfold/fold transformations for normal logic programs
title_sort	beyond tamaki-sato style unfold/fold transformations for normal logic programs
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78043
_version_	1681088570442383360

Beyond tamaki-sato style unfold/fold transformations for normal logic programs

Similar Items