Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„Verifier Time“
Suchergebnisse
3 Treffer
More Verifier Efficient Interactive Protocols for Bounded Space
Cook, Joshua
2022
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers
Mudigonda, Abhijit S. ; Williams, R. Ryan
2021
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
A verifier for real-time properties
Ostroff, J. S.