Correction: Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
Crossref DOI link: https://doi.org/10.1007/s10817-022-09651-1
Published Online: 2023-01-13
Published Print: 2023-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Schmoetten, Richard http://orcid.org/0000-0003-1473-071X
Palmer, Jake E.
Fleuriot, Jacques D.
Text and Data Mining valid from 2023-01-13
Version of Record valid from 2023-01-13
Article History
First Online: 13 January 2023