Termination characteristics of logic programs

dc.contributor.guide	Shyamasundar, R K
dc.coverage.spatial
dc.creator.researcher	Madala R K Krishna Rao
dc.date.accessioned	2023-12-18T04:45:52Z
dc.date.available	2023-12-18T04:45:52Z
dc.date.awarded
dc.date.completed	1993
dc.date.registered
dc.description.abstract	newlineNo newline
dc.description.note
dc.format.accompanyingmaterial	DVD
dc.format.dimensions
dc.format.extent	xi, 164p
dc.identifier.uri	http://hdl.handle.net/10603/530431
dc.language	English
dc.publisher.institution	Computer Science, Tata Institute of Fundamental Research
dc.publisher.place	Mumbai
dc.publisher.university	University of Mumbai
dc.relation
dc.rights	university
dc.source.university	University
dc.subject.keyword	Computer Science
dc.subject.keyword	Computer Science Artificial Intelligence
dc.subject.keyword	Engineering and Technology
dc.subject.keyword	Logic Programs
dc.subject.keyword	Modular Termination
dc.subject.keyword	Motivation
dc.subject.keyword	Proving Termination
dc.subject.keyword	Transformational Methodology
dc.title	Termination characteristics of logic programs
dc.title.alternative
dc.type.degree	Ph.D.