Chalopin, J., Changat, M., Chepoi, V., & Jacob, J. (2024). First-order logic axiomatization of metric graph theory. Theoretical computer science, 993, 114460. https://doi.org/10.1016/j.tcs.2024.114460
Chicago-Zitierstil (17. Ausg.)Chalopin, Jérémie, Manoj Changat, Victor Chepoi, und Jeny Jacob. "First-order Logic Axiomatization of Metric Graph Theory." Theoretical Computer Science 993 (2024): 114460. https://doi.org/10.1016/j.tcs.2024.114460.
MLA-Zitierstil (9. Ausg.)Chalopin, Jérémie, et al. "First-order Logic Axiomatization of Metric Graph Theory." Theoretical Computer Science, vol. 993, 2024, p. 114460, https://doi.org/10.1016/j.tcs.2024.114460.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.