%0 Journal Article %1 journals/logcom/LehnherrOS22 %A Lehnherr, David %A Ognjanovic, Zoran %A Studer, Thomas %D 2022 %J J. Log. Comput. %K dblp %N 8 %P 1645-1658 %T A logic of interactive proofs. %U http://dblp.uni-trier.de/db/journals/logcom/logcom32.html#LehnherrOS22 %V 32

@article{journals/logcom/LehnherrOS22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lehnherr, David and Ognjanovic, Zoran and Studer, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/26318c981000746381d0aded53b17783c/dblp}, ee = {https://www.wikidata.org/entity/Q115037471}, interhash = {0722f5bc05de4e7c3a58fb829af6a8fb}, intrahash = {6318c981000746381d0aded53b17783c}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 8, pages = {1645-1658}, timestamp = {2024-04-09T05:12:50.000+0200}, title = {A logic of interactive proofs.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom32.html#LehnherrOS22}, volume = 32, year = 2022 }