Ramanathan Thinniyam Srinivasan

Definability and decidability in first order theories of graph order - 2019 - 157p.



HBNI / Th147
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha