PRECISE DEFINITION
Experts
- Ben Smyth
- Dominique Unruh
- Dennis Hofheinz
- Jan Willem Klop
- Jörg Endrullis
- Jon G. Riecke
- Conor McBride
- Dimitri Hendriks
- Yong Kiam Tan
- Fredrik Nordvall Forsberg
- Joseph A. Goguen
- Ashley Fraser
- Peter Gorm Larsen
- Neil Ghani
- Rod M. Burstall
- Stefan Mitsch
- André Platzer
- Elizabeth A. Quaglia
- Frédéric Blanqui
- Gilles Barthe
- Andrew W. Appel
- James Gallicchio
- Hüseyin Çakalli
- Ariya Isihara
- Ferruccio Damiani
- Clemens Grabmayer
- Halina Przymusinska
- Jianghua Lv
- Augusto Ribeiro
- Hartmut Laue
- Tsvetan Dunchev
- Alfredo Goñi
- Friedemann Bitsch
- Carlo Berrone
- Stephan Spahn
- Lotfi A. Zadeh
- Fuyuki Kitagawa
- Frank Wolter
- Petr Sgall
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- RFC
- LICS
- Theor. Comput. Sci.
- IJCAR
- FPCA
- CADE
- Synth.
- ACM SIGPLAN Notices
- Ann. Pure Appl. Log.
- Entropy
- Arch. Math. Log.
- Math. Struct. Comput. Sci.
- Fundam. Informaticae
- FCT
- Description Logics
- Rev. Symb. Log.
- J. Comb. Theory, Ser. A
- Appl. Math. Lett.
- Am. Math. Mon.
- Inf. Comput.
- J. Autom. Reason.
- WRLA
- J. Comput. Methods Sci. Eng.
- UDMV
- Complex.
- IASTED Conf. on Software Engineering
- AAMAS
- ACC
- LACL
- J. Cryptol.
- Symmetry
- IC3I
- ICFEM
- ACISP
- SAC
- HAISA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend