On a Three-Valued Logic with Blamey’s Interjunction for the Formal Description of Atomic Transactions
Crossref DOI link: https://doi.org/10.1007/s10516-019-09446-x
Published Online: 2019-07-09
Published Print: 2020-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Radzki, Mateusz M.
Text and Data Mining valid from 2019-07-09
Version of Record valid from 2019-07-09
Article History
Received: 3 April 2019
Accepted: 22 June 2019
First Online: 9 July 2019