×

Found 8 Documents (Results 1–8)

On interactive proofs with a laconic prover (extended abstract). (English) Zbl 0986.68533

Orejas, Fernando (ed.) et al., Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2076, 334-345 (2001).
MSC:  68T15 03F20 91A80 68Q15
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field