Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/530431
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.coverage.spatial | ||
| dc.date.accessioned | 2023-12-18T04:45:52Z | - |
| dc.date.available | 2023-12-18T04:45:52Z | - |
| dc.identifier.uri | http://hdl.handle.net/10603/530431 | - |
| dc.description.abstract | newlineNo newline | |
| dc.format.extent | xi, 164p | |
| dc.language | English | |
| dc.relation | ||
| dc.rights | university | |
| dc.title | Termination characteristics of logic programs | |
| dc.title.alternative | ||
| dc.creator.researcher | Madala R K Krishna Rao | |
| 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.description.note | ||
| dc.contributor.guide | Shyamasundar, R K | |
| dc.publisher.place | Mumbai | |
| dc.publisher.university | University of Mumbai | |
| dc.publisher.institution | Computer Science, Tata Institute of Fundamental Research | |
| dc.date.registered | ||
| dc.date.completed | 1993 | |
| dc.date.awarded | ||
| dc.format.dimensions | ||
| dc.format.accompanyingmaterial | DVD | |
| dc.source.university | University | |
| dc.type.degree | Ph.D. | |
| Appears in Departments: | Computer Science, Tata Institute of Fundamental Research | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 01_title.pdf | Attached File | 64.14 kB | Adobe PDF | View/Open |
| 02_prelim pages.pdf | 146.33 kB | Adobe PDF | View/Open | |
| 03_contents.pdf | 114.68 kB | Adobe PDF | View/Open | |
| 04_chapter 1.pdf | 836.75 kB | Adobe PDF | View/Open | |
| 05_chapter 2.pdf | 661.23 kB | Adobe PDF | View/Open | |
| 06_chapter 3.pdf | 1.1 MB | Adobe PDF | View/Open | |
| 07_chapter 4.pdf | 1.32 MB | Adobe PDF | View/Open | |
| 08_chapter 5.pdf | 449.96 kB | Adobe PDF | View/Open | |
| 09_chapter 6.pdf | 886.37 kB | Adobe PDF | View/Open | |
| 10_chapter 7.pdf | 222.71 kB | Adobe PDF | View/Open | |
| 11_annexures.pdf | 527.82 kB | Adobe PDF | View/Open | |
| 80_recommendation.pdf | 347.9 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: