Flumini, Dandolo

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Journal Article

Flumini, Dandolo; Sato, Kentaro (2014). From hierarchies to well-foundedness. Archive for mathematical logic, 53(7-8), pp. 855-863. Springer International 10.1007/s00153-014-0392-9

Book Section

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2018). A Logic of Blockchain Updates. In: LFCS 2018: Logical Foundations of Computer Science. Lecture Notes in Computer Science: Vol. 10703 (pp. 107-119). Cham: Springer International Publishing 10.1007/978-3-319-72056-2_7

This list was generated on Sat Aug 8 08:25:04 2020 CEST.
Provide Feedback