Monadic second-order incorrectness logic for GP 2

Poskitt, Chris and Plump, Detlef orcid.org/0000-0002-1148-822X (2023) Monadic second-order incorrectness logic for GP 2. Journal of Logical and Algebraic Methods in Programming. 100825. ISSN: 2352-2216

Metadata

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

© 2022 Elsevier Inc. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.
Dates:
  • Accepted: 26 September 2022
  • Published (online): 5 October 2022
  • Published: 1 January 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 12 Jan 2023 14:50
Last Modified: 20 Sep 2025 01:53
Published Version: https://doi.org/10.1016/j.jlamp.2022.100825
Status: Published
Refereed: Yes
Identification Number: 10.1016/j.jlamp.2022.100825
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: PoskittPlump.JLAMP.22.pdf

Description: PoskittPlump.JLAMP.22

Licence: CC-BY-NC-ND 2.5

CLICK TO DOWNLOAD [thumbnail of PoskittPlump.JLAMP.22]

Export

Statistics


CORE (COnnecting REpositories)