Publication details
Publisher: Springer
Place: Berlin
Year: 2020
Pages: 177-191
Series: Axiomathes
Full citation:
, "On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions", Axiomathes 30 (2), 2020, pp. 177-191.
On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions
pp. 177-191
in: Axiomathes 30 (2), 2020.Publication details
Publisher: Springer
Place: Berlin
Year: 2020
Pages: 177-191
Series: Axiomathes
Full citation:
, "On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions", Axiomathes 30 (2), 2020, pp. 177-191.