PRECISELY DEFINED
Experts
- Rocco De Nicola
- Fairouz Kamareddine
- Martin Bravenboer
- Andrew M. Pitts
- Zhuosheng Zhang
- Zhiqiang Hu
- Jeffrey D. Ullman
- Wolfgang Bibel
- Roel Bloo
- Elizabeth Polgreen
- Roy Ka-Wei Lee
- Forrest Davis
- Greg Frost-Arnold
- Alfred V. Aho
- Marcelo Fiore
- Daria Stetsenko
- Dmitrij Szamozvancev
- Çigdem Gencer
- Benedikt Ahrens
- Junru Zhou
- Isabella Mastroeni
- Edward Gibson
- Isabelle Augenstein
- Christoph Beierle
- Samuele Buro
- Bharat Jayaraman
- Djamal Benslimane
- Tijs van der Storm
- Christian Chiarcos
- Chia-Chu Chiang
- Natasha Alechina
- Magnus Nyström
- Robert C. Berwick
- Nuno J. Mamede
- Julianna Zsido
- Sergio Greco
- Sanjit A. Seshia
- Yuwei Wu
- Richard Kennaway
Venues
- CoRR
- ACM SIGPLAN Notices
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- RFC
- PACLIC
- SAC
- IEEE Trans. Software Eng.
- ICECCS
- AAAI
- LREC
- COLING
- PLDI
- Minds Mach.
- IJCAI
- Int. J. Man Mach. Stud.
- CAV (2)
- VL
- Comput. Intell.
- Comput. Linguistics
- Softw. Syst. Model.
- ASE
- ACM Southeast Regional Conference
- Comput. Lang.
- Synth.
- Comput. J.
- TYPES
- TbiLLC
- J. Log. Program.
- Commun. ACM
- ACM National Conference
- CoNLL
- Am. Math. Mon.
- J. Comput. Syst. Sci.
- ICTCS
- MERLIN
- APL
- J. Lang. Model.
- LMAC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend