Relational characterisations of paths

Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner. Relational characterisations of paths. J. Log. Algebr. Meth. Program., 117:100590, 2020. [doi]

Authors

Rudolf Berghammer

This author has not been identified. Look up 'Rudolf Berghammer' in Google

Hitoshi Furusawa

This author has not been identified. Look up 'Hitoshi Furusawa' in Google

Walter Guttmann

This author has not been identified. Look up 'Walter Guttmann' in Google

Peter Höfner

This author has not been identified. Look up 'Peter Höfner' in Google