Export 16 results:
Filters: Author is Kai Brünnler  [Clear All Filters]
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).
Brünnler, K., Lengrand, S.: On two forms of bureaucracy in derivations. In: Bruscoli, P., Lamarche, F., and Stewart, C. Proceedings of Structures and Deduction. pp. 65-74. Technische Universität Dresden (2005).