Publication details
Verlag: Springer
Ort: Berlin
Jahr: 2020
Pages: 177-191
Reihe: Axiomathes
Volle Referenz:
, "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
Verlag: Springer
Ort: Berlin
Jahr: 2020
Pages: 177-191
Reihe: Axiomathes
Volle Referenz:
, "On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions", Axiomathes 30 (2), 2020, pp. 177-191.