PRECISE DEFINITION
Experts
- Ben Smyth
- Dominique Unruh
- Dennis Hofheinz
- James Gallicchio
- Jörg Endrullis
- Peter Gorm Larsen
- Frédéric Blanqui
- Ashley Fraser
- Jan Willem Klop
- Hüseyin Çakalli
- Stefan Mitsch
- Jon G. Riecke
- Clemens Grabmayer
- Rod M. Burstall
- Joseph A. Goguen
- Ferruccio Damiani
- Ariya Isihara
- Neil Ghani
- André Platzer
- Dimitri Hendriks
- Elizabeth A. Quaglia
- Andrew W. Appel
- Conor McBride
- Fredrik Nordvall Forsberg
- Gilles Barthe
- Yong Kiam Tan
- Joëlle Despeyroux
- Yuefei Sui
- Yuan-Fang Li
- Yuta Tanaka
- Carol E. Cleland
- Stergios Chatzikyriakidis
- Roberta Renati
- Harald Tveit Alvestrand
- Gunter Menz
- Eric Andres
- Andrius Kulikauskas
- Guang Chen
- Nicola Cufaro Petroni
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- RFC
- Theor. Comput. Sci.
- LICS
- FPCA
- Ann. Pure Appl. Log.
- ACM SIGPLAN Notices
- IJCAR
- CADE
- Synth.
- FCT
- J. Comb. Theory, Ser. A
- Fundam. Informaticae
- Am. Math. Mon.
- Description Logics
- J. Autom. Reason.
- Rev. Symb. Log.
- Math. Struct. Comput. Sci.
- Appl. Math. Lett.
- Arch. Math. Log.
- Entropy
- Inf. Comput.
- CICM
- Cyberpsychology Behav. Soc. Netw.
- Fuzzy Sets Syst.
- TSD
- Remote. Sens.
- Proc. ACM Program. Lang.
- Complex.
- Program Construction
- J. Comput. Inf. Syst.
- Discret. Math.
- J. Comput. Phys.
- ACL
- CSF
- SEW
- ICFEM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend