Jeny Jacob

Studies on first-order definability of transit functions on graphs - 2024