Definability and decidability in first order theories of graph order (Record no. 52686)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00476nam a22001697a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 190517b ||||| |||| 00| 0 eng d |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | Eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | HBNI |
| Item number | Th147 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Ramanathan Thinniyam Srinivasan |
| Relator term | author |
| 245 ## - TITLE STATEMENT | |
| Title | Definability and decidability in first order theories of graph order |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Year of publication | 2019 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 157p. |
| 502 ## - DISSERTATION NOTE | |
| Degree Type | Ph.D |
| Name of granting institution | HBNI |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | Computer Science |
| 720 ## - ADDED ENTRY--UNCONTROLLED NAME | |
| Thesis Advisor | Ramanujam, R. |
| Relator term | Thesis Advisor [ths] |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | THESIS & DISSERTATION |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Full call number | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|---|
| IMSc Library | HBNI Th147 | 74792 | https://www.imsc.res.in/xmlui/handle/123456789/435 | THESIS & DISSERTATION |