PRECISELY DEFINED
Experts
- Rocco De Nicola
- Fairouz Kamareddine
- Sanjit A. Seshia
- James Koppel
- Julianna Zsido
- Daria Stetsenko
- Edward Gibson
- Hai Zhao
- Chia-Chu Chiang
- Christoph Beierle
- Christian Chiarcos
- Roel Bloo
- Isabella Mastroeni
- Johannes Bjerva
- Armando Solar-Lezama
- Eelco Visser
- Tijs van der Storm
- Nuno J. Mamede
- Junru Zhou
- Philippe Balbiani
- Rui Wang
- Andrew M. Pitts
- Elizabeth Polgreen
- Martin Bravenboer
- Benedikt Ahrens
- Sergio Greco
- Çigdem Gencer
- M. Ronan Sleep
- Greg Frost-Arnold
- Alfred V. Aho
- Magnus Nyström
- Inez Okulska
- Ahmed Arara
- Robert C. Berwick
- Jeffrey D. Ullman
- Forrest Davis
- Marcelo Fiore
- Kevin Gimpel
- Samuele Buro
Venues
- CoRR
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- Notre Dame J. Formal Log.
- RFC
- PACLIC
- SAC
- ICECCS
- LREC
- COLING
- IEEE Trans. Software Eng.
- AAAI
- Proc. ACM Program. Lang.
- IJCAI
- LMAC
- APL
- MERLIN
- J. Lang. Model.
- Comput. Linguistics
- ACM National Conference
- AFIPS Fall Joint Computing Conference
- Am. Math. Mon.
- Minds Mach.
- Comput. J.
- CoNLL
- TYPES
- Commun. ACM
- TbiLLC
- ICTCS
- Comput. Lang.
- Softw. Syst. Model.
- J. Log. Lang. Inf.
- J. Comput. Syst. Sci.
- Synth.
- ACM Southeast Regional Conference
- ASE
- VL
- Comput. Intell.
- J. Log. Program.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend