Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics

Stannett, M.P. orcid.org/0000-0002-2794-8614 (2015) Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. In: Durand-Lose, J. and Nagy, B., (eds.) Machines, Computations, and Universality. Machines, Computations and Universality 2015, 09-11 Sep 2015, Famagusta, North Cyprus. Lecture Notes in Computer Science, 9288 . Springer Verlag (Germany) .

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2015 Springer International Publishing AG, Part of Springer Science+Business Media. Reproduced in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 9 September 2015
  • Accepted: 3 June 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
ROYAL SOCIETYIE110369
Depositing User: Symplectic Sheffield
Date Deposited: 22 Sep 2016 08:25
Last Modified: 28 Mar 2018 20:33
Published Version: https://dx.doi.org/10.1007/978-3-319-23111-2_2
Status: Published
Publisher: Springer Verlag (Germany)
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-23111-2_2

Share / Export

Statistics