Journal of Logic and Computation

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Full Text Status
Jump to: 2020
Number of items: 1.

2020

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A logic of blockchain updates Journal of Logic and Computation, 30(8), pp. 1469-1485. Oxford University Press https://doi.org/10.1093/logcom/exaa045

This list was generated on Sat Jun 29 16:22:51 2024 CEST.
Provide Feedback