PRECISELY DEFINED
Experts
- Rocco De Nicola
- Fairouz Kamareddine
- Armando Solar-Lezama
- James Koppel
- Çigdem Gencer
- Hai Zhao
- Andrew M. Pitts
- Julianna Zsido
- Magnus Nyström
- Junru Zhou
- Elizabeth Polgreen
- Dmitrij Szamozvancev
- Zhuosheng Zhang
- Christian Chiarcos
- Jonas Haldimann
- Kevin Gimpel
- Rui Wang
- Sufeng Duan
- Sanjit A. Seshia
- Yuhan Zhang
- Tijs van der Storm
- Isabelle Augenstein
- Benedikt Ahrens
- Charu C. Aggarwal
- Christoph Beierle
- Isabella Mastroeni
- Chia-Chu Chiang
- Inez Okulska
- Johannes Bjerva
- Alfred V. Aho
- Daria Stetsenko
- Wolfgang Bibel
- Jeffrey D. Ullman
- Robert C. Berwick
- Samuele Buro
- Nuno J. Mamede
- Martin Bravenboer
- Philippe Balbiani
- Bharat Jayaraman
Venues
- CoRR
- ACM SIGPLAN Notices
- Theor. Comput. Sci.
- PACLIC
- SAC
- Notre Dame J. Formal Log.
- RFC
- AAAI
- IEEE Trans. Software Eng.
- COLING
- ICECCS
- LREC
- ICTCS
- VL
- Minds Mach.
- J. Log. Program.
- ASE
- TYPES
- Int. J. Man Mach. Stud.
- Comput. Lang.
- J. Lang. Model.
- J. Log. Lang. Inf.
- LMAC
- ACM National Conference
- MERLIN
- APL
- CAV (2)
- Commun. ACM
- J. Comput. Syst. Sci.
- CoNLL
- Proc. ACM Program. Lang.
- Comput. Intell.
- Comput. Linguistics
- IJCAI
- PLDI
- Synth.
- Comput. J.
- ACM Southeast Regional Conference
- Am. Math. Mon.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend