JENY JACOB Studies on first-order definability of transit functions on graphs - University of Kerala Department of Future Studies 2024