Document Preview Unavailable

First-order logic axiomatization of metric graph theory

Chalopin, Jérémie; Changat, Manoj; Chepoi, Victor; Jeny Jacob.  arXiv.org, Mar 2, 2022.

You might have access to this document