Route systems on graphs
Manoj Changat, Henry Martyn Mulder · Mathematica Bohemica · 2001
The well known types of routes in graphs and directed graphs, such as walks, trails, paths, and induced paths, are characterized using axioms on vertex sequences. Thus non-graphic characterizations of the various types of routes are obtained.