PRECISE DEFINITION
Experts
- Ben Smyth
- Dennis Hofheinz
- Dominique Unruh
- Ariya Isihara
- Rod M. Burstall
- Joseph A. Goguen
- Ferruccio Damiani
- Andrew W. Appel
- Conor McBride
- Gilles Barthe
- Fredrik Nordvall Forsberg
- Yong Kiam Tan
- Neil Ghani
- Dimitri Hendriks
- Elizabeth A. Quaglia
- André Platzer
- 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
- David A. Basin
- Francisco Durán
- George Livadiotis
- Vincenzo Grassi
- Avra Cohn
- Bernard A. Galler
- Jing Xiong
- Stephen Carley
- Sébastien Horna
- Alexandre Blondin Massé
- Dale Miller
- Andrea Iannelli
- Hao Wang
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- RFC
- Theor. Comput. Sci.
- LICS
- FPCA
- CADE
- Synth.
- Ann. Pure Appl. Log.
- IJCAR
- ACM SIGPLAN Notices
- Am. Math. Mon.
- Fundam. Informaticae
- J. Comb. Theory, Ser. A
- J. Autom. Reason.
- Description Logics
- FCT
- Appl. Math. Lett.
- Inf. Comput.
- Arch. Math. Log.
- Entropy
- Rev. Symb. Log.
- Math. Struct. Comput. Sci.
- Inf. Syst.
- IEEE Trans. Computers
- ICTAC
- FoSSaCS
- ICIQ
- ACM Trans. Comput. Log.
- IASTED Conf. on Software Engineering
- SIGDOC
- Ars Comb.
- CIT/IUCC/DASC/PICom
- CHI
- Inf. Sci.
- ELP
- ISC
- TLCA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend