Proving behavioural apartness

This is a preprint and may not have undergone formal peer review

Turkenburg, R., Beohar, H. orcid.org/0000-0001-5256-1334, Kupke, C. et al. (1 more author) (Submitted: 2024) Proving behavioural apartness. [Preprint - arXiv] (Submitted)

Abstract

Metadata

Item Type: Preprint
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2024 The Author(s). For reuse permissions, please contact the Author(s).

Keywords: Philosophy; Pure Mathematics; Mathematical Sciences; Philosophy and Religious Studies
Dates:
  • Submitted: 25 April 2024
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 21 Jun 2024 08:39
Last Modified: 21 Jun 2024 08:39
Status: Submitted
Identification Number: 10.48550/arxiv.2404.16588
Open Archives Initiative ID (OAI ID):

Export

Statistics