PRECISE DEFINITION
Experts
- Ben Smyth
- Dominique Unruh
- Dennis Hofheinz
- Andrew W. Appel
- Hüseyin Çakalli
- Peter Gorm Larsen
- Frédéric Blanqui
- Fredrik Nordvall Forsberg
- Elizabeth A. Quaglia
- Ariya Isihara
- Stefan Mitsch
- Joseph A. Goguen
- Yong Kiam Tan
- Dimitri Hendriks
- Clemens Grabmayer
- Jan Willem Klop
- Gilles Barthe
- Conor McBride
- André Platzer
- James Gallicchio
- Neil Ghani
- Rod M. Burstall
- Ashley Fraser
- Ferruccio Damiani
- Jörg Endrullis
- Jon G. Riecke
- Cong Wang
- Ruggero Morselli
- Aili Wang
- Vivek Veeraiah
- Anatoli Degtyarev
- Konstantinos Tourlas
- Willy Susilo
- Bruno Woltzenlogel Paleo
- Alan J. Perlis
- Klaus Aehlig
- Stamatis Vassiliadis
- P. A. Matthews
- Roberta Renati
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- RFC
- Theor. Comput. Sci.
- LICS
- FPCA
- CADE
- Ann. Pure Appl. Log.
- Synth.
- ACM SIGPLAN Notices
- IJCAR
- Arch. Math. Log.
- Am. Math. Mon.
- Rev. Symb. Log.
- FCT
- Appl. Math. Lett.
- J. Comb. Theory, Ser. A
- Entropy
- Math. Struct. Comput. Sci.
- Fundam. Informaticae
- Inf. Comput.
- J. Autom. Reason.
- Description Logics
- GPCE
- J. Comput. Inf. Syst.
- SYNASC
- CDC
- ACM Comput. Surv.
- Symmetry
- Scientometrics
- VDM Europe
- IC3I
- iConference (2)
- SEW
- Commun. ACM
- ACC
- Kybernetika
- Arch. Mus. Informatics
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend