Definability and decidability in first order theories of graph order[HBNI Th147]

dc.contributor.author	Ramanathan Thinniyam Srinivasan
dc.date.accessioned	2019-07-01T07:40:55Z
dc.date.available	2019-07-01T07:40:55Z
dc.date.issued	2019
dc.date.submitted	2019
dc.identifier.uri	https://dspace.imsc.res.in/xmlui/handle/123456789/435
dc.publisher.publisher	IMSc
dc.subject	HBNI Th147	en_US
dc.title	Definability and decidability in first order theories of graph order[HBNI Th147]	en_US
dc.type.degree	Ph.D	en_US
dc.type.institution	HBNI	en_US
dc.description.advisor	Ramanujam, R.
dc.description.pages	157p.	en_US
dc.type.mainsub	Computer Science	en_US