%0 Thesis %1 phd/ethos/Hickey21 %A Hickey, Christopher J. A. %D 2021 %K dblp %T Streaming interactive proofs.

@phdthesis{phd/ethos/Hickey21, added-at = {2022-04-05T00:00:00.000+0200}, author = {Hickey, Christopher J. A.}, biburl = {https://www.bibsonomy.org/bibtex/2b3edfe9fdf55eb221f31a908fe57e5fe/dblp}, ee = {http://wrap.warwick.ac.uk/153856/}, interhash = {6dbbc1dca8fe4e98fb79e3bb73171584}, intrahash = {b3edfe9fdf55eb221f31a908fe57e5fe}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Warwick, Coventry, UK}, timestamp = {2024-04-09T08:53:27.000+0200}, title = {Streaming interactive proofs.}, year = 2021 }