Ramanathan Thinniyam Srinivasan
Definability and decidability in first order theories of graph order - 2019 - 157p.
HBNI / Th147
Definability and decidability in first order theories of graph order - 2019 - 157p.
HBNI / Th147