Publications

Export 3 results:

Filters: Author is Dandolo Flumini [Clear All Filters]

2018

Brünnler, K., Flumini, D., Studer, T.: A Logic of Blockchain Updates. In: Artemov, S. and Nerode, A. Logical Foundations of Computer Science. pp. 107-119. Springer International Publishing, Cham (2018).

2014

Flumini, D., Sato, K.: From hierarchies to well-foundedness. Archive for Mathematical Logic. 53, (2014).

2013

Flumini, D.: Weak well orders. (2013).