Definability and decidability in first order theories of graph order
Material type: TextLanguage: Eng Publication details: 2019Description: 157pSubject(s): Computer ScienceDissertation note: Ph.D HBNICurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | HBNI Th147 (Browse shelf (Opens below)) | Link to resource | Available | 74792 |
Ph.D HBNI
There are no comments on this title.