New verification schemes for frequency-based functions on data streams

DOI10.4230/LIPICS.FSTTCS.2020.22MaRDI QIDQ6839886zbMATH OpenFDO

Authors Prantar Ghosh

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2020.22

zbMATH Keywords

Arthur-Merlindata streamsinteractive proofs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: New verification schemes for frequency-based functions on data streams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6839886)