Export 2 results:
Filters: Author is A. Nerode  [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).
Stouppa, P., Studer, T.: Data Privacy for ALC Knowledge Bases. In: Artemov, S. and Nerode, A. Proceedings of Logical Foundations of Computer Science LFCS'09. pp. 409-421. Springer (2009).