Browsing by Author Lehnherr, David
Showing results 1 to 3 of 3
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | 2022 | Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155 | M33 |
| Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A logic of interactive proofs | 2022 | Journal of Logic and Computation; exac071 | ~M21 |
| Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 89-90 | M34 |