GitHub - Jayasree-Saha/rps-crypto2017: A paper on Rational Proofs for non deterministic computation and others.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
acl.bst		acl.bst
acl2013.sty		acl2013.sty
acm-ec-17.sty		acm-ec-17.sty
arguments.tex		arguments.tex
boundedspace.tex		boundedspace.tex
complexity.sty		complexity.sty
composition.tex		composition.tex
draft.tex		draft.tex
framed.sty		framed.sty
intro.tex		intro.tex
llncs.cls		llncs.cls
lowerbounds.tex		lowerbounds.tex
main.tex		main.tex
mycommands.tex		mycommands.tex
proof-seq-comp.tex		proof-seq-comp.tex
randomized.tex		randomized.tex
references.bib		references.bib
rp.tex		rp.tex
rps_as_ips.tex		rps_as_ips.tex
seq-comp-defs.tex		seq-comp-defs.tex
spillout.tex		spillout.tex
totpages.sty		totpages.sty