Lehnherr, David Benjamin

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2023 | 2022

2023

Cachin, Christian; Lehnherr, David; Studer, Thomas (October 2023). Synergistic Knowledge. In: 25th International Symposium on Stabilizing, Safety, and Security of Distributed Systems. Lecture notes in computer science (pp. 552-567). Springer 10.1007/978-3-031-44274-2_41

2022

Lehnherr, David; Ognjanović, Zoran; Studer, Thomas (2022). A logic of interactive proofs. Journal of logic and computation, 32(8), pp. 1645-1658. Oxford University Press 10.1093/logcom/exac071

Lehnherr, David; Ognjanović, Zoran; Studer, Thomas (2022). A Logic of Interactive Proofs. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science. LFCS 2022. Lecture Notes in Computer Science: Vol. 13137 (pp. 143-155). Springer 10.1007/978-3-030-93100-1_10

Provide Feedback