PRECISE DEFINITION
Experts
- Ben Smyth
- Dominique Unruh
- Dennis Hofheinz
- Peter Gorm Larsen
- Frédéric Blanqui
- James Gallicchio
- Jörg Endrullis
- Jon G. Riecke
- Clemens Grabmayer
- Ashley Fraser
- Hüseyin Çakalli
- Stefan Mitsch
- Jan Willem Klop
- Ariya Isihara
- Rod M. Burstall
- Ferruccio Damiani
- Joseph A. Goguen
- Andrew W. Appel
- Conor McBride
- Gilles Barthe
- Fredrik Nordvall Forsberg
- Yong Kiam Tan
- Neil Ghani
- Elizabeth A. Quaglia
- Dimitri Hendriks
- André Platzer
- Min Zhang
- Alexander Leitsch
- Stevan Harnad
- Kanako Sakurai
- Lorenzo Sindoni
- Jörn Müller-Quade
- Zbigniew Slodkowski
- Nikolay N. Mirenkov
- Robert L. Constable
- Ramanathan V. Guha
- Tsong Yueh Chen
- Nathan Baddoo
- Bruno Yun
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- RFC
- Theor. Comput. Sci.
- LICS
- FPCA
- Synth.
- CADE
- ACM SIGPLAN Notices
- IJCAR
- Ann. Pure Appl. Log.
- J. Comb. Theory, Ser. A
- Fundam. Informaticae
- Am. Math. Mon.
- Description Logics
- J. Autom. Reason.
- FCT
- Appl. Math. Lett.
- Arch. Math. Log.
- Entropy
- Inf. Comput.
- Rev. Symb. Log.
- Math. Struct. Comput. Sci.
- Knowl. Based Syst.
- RASLAN
- IEEE Trans. Inf. Forensics Secur.
- COLING
- ICLP (Technical Communications)
- CDC
- SYNASC
- APLAS
- TLCA
- AAMAS
- Kybernetika
- ICCNMC
- IACR Trans. Symmetric Cryptol.
- ACM Comput. Surv.
- SIGMOD Rec.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend