Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/514255
Full metadata record
DC FieldValueLanguage
dc.coverage.spatial
dc.date.accessioned2023-09-27T10:35:03Z-
dc.date.available2023-09-27T10:35:03Z-
dc.identifier.urihttp://hdl.handle.net/10603/514255-
dc.description.abstractnewlineNo newline
dc.format.extentxi, 164p
dc.languageEnglish
dc.relation
dc.rightsuniversity
dc.titleTermination characteristics of logic programs
dc.title.alternative
dc.creator.researcherMadala R K Krishna Rao
dc.subject.keywordAlgebra Approach
dc.subject.keywordComputer Science
dc.subject.keywordComputer Science Artificial Intelligence
dc.subject.keywordEngineering and Technology
dc.subject.keywordLogic Programs
dc.subject.keywordModularity
dc.subject.keywordTermination Characteristics
dc.subject.keywordTransformation Procedure
dc.description.note
dc.contributor.guideShyamasundar, R K
dc.publisher.placeMumbai
dc.publisher.universityUniversity of Mumbai
dc.publisher.institutionComputer Science, Tata Institute of Fundamental Research
dc.date.registered
dc.date.completed1993
dc.date.awarded
dc.format.dimensions
dc.format.accompanyingmaterialDVD
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:Computer Science, Tata Institute of Fundamental Research

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File98.11 kBAdobe PDFView/Open
02_prelim pages.pdf705.3 kBAdobe PDFView/Open
03_contents.pdf409.61 kBAdobe PDFView/Open
04_chapter 1.pdf5.04 MBAdobe PDFView/Open
05_chapter 2.pdf3.66 MBAdobe PDFView/Open
06_chapter 3.pdf6.37 MBAdobe PDFView/Open
07_chapter 4.pdf7.76 MBAdobe PDFView/Open
08_chapter 5.pdf2.86 MBAdobe PDFView/Open
09_chapter 6.pdf5.23 MBAdobe PDFView/Open
10_chapter 7.pdf1.25 MBAdobe PDFView/Open
11_annexures.pdf3.67 MBAdobe PDFView/Open
80_recommendation.pdf1.31 MBAdobe PDFView/Open


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: