FORMAL PROOFS
Experts
- Toniann Pitassi
- Iddo Tzameret
- Ron D. Rothblum
- Tom Gur
- Albert Atserias
- Ulrich Berger
- Bruce E. Sagan
- Alessandro Chiesa
- Jasmin Christian Blanchette
- Yael Tauman Kalai
- Olaf Beyersdorff
- Cezary Kaliszyk
- Frank Pfenning
- Brigitte Pientka
- Alan Bundy
- Makoto Tatsuta
- Thomas Vidick
- Adel Bouhoula
- Kenneth L. McMillan
- Noga Ron-Zewi
- Samuel R. Buss
- Meena Mahajan
- Mihir Bellare
- Sam Buss
- Stephan Merz
- Pierre-Yves Strub
- Agata Ciabattoni
- Ivan Damgård
- Silvio Micali
- Laurent Théry
- John N. Crossley
- René Thiemann
- Sorin Lerner
- Salil P. Vadhan
- Fairouz Kamareddine
- Heike Wehrheim
- Scott Aaronson
- Ron Rothblum
- Yves Bertot
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- Electron. Colloquium Comput. Complex.
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- Ann. Pure Appl. Log.
- J. Autom. Reason.
- Discret. Math.
- J. Symb. Log.
- CADE
- Math. Log. Q.
- STOC
- Am. Math. Mon.
- MFCS
- Synth.
- J. Comb. Theory, Ser. A
- LPAR
- Inf. Comput.
- ITCS
- RTA
- Electron. Notes Theor. Comput. Sci.
- Log. Methods Comput. Sci.
- LICS
- POPL
- SIAM J. Comput.
- CSL
- J. Log. Comput.
- FOCS
- Stud Logica
- SAT
- Comput. Complex.
- J. Philos. Log.
- Bull. Symb. Log.
- Inf. Process. Lett.
- Fundam. Informaticae
- ECAI
- Ann. Math. Artif. Intell.
- Arch. Math. Log.
- J. Cryptogr. Eng.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend