PRECISELY DEFINED
Experts
- Fairouz Kamareddine
- Rocco De Nicola
- Richard Kennaway
- Sergio Greco
- Christoph Beierle
- Julianna Zsido
- Çigdem Gencer
- Yuhan Zhang
- Yuwei Wu
- Roy Ka-Wei Lee
- Daria Stetsenko
- Hai Zhao
- Armando Solar-Lezama
- Dmitrij Szamozvancev
- Philippe Balbiani
- Natasha Alechina
- Isabelle Augenstein
- Elizabeth Polgreen
- Eelco Visser
- Marcelo Fiore
- Bharat Jayaraman
- Robert C. Berwick
- Wolfgang Bibel
- Sufeng Duan
- Kevin Gimpel
- Zhuosheng Zhang
- Ahmed Arara
- Nuno J. Mamede
- Benedikt Ahrens
- Alfred V. Aho
- Greg Frost-Arnold
- Samuele Buro
- Johannes Bjerva
- Tijs van der Storm
- Edward Gibson
- Sanjit A. Seshia
- Isabella Mastroeni
- Magnus Nyström
- Rui Wang
Venues
- CoRR
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- RFC
- Notre Dame J. Formal Log.
- PACLIC
- IEEE Trans. Software Eng.
- LREC
- SAC
- AAAI
- COLING
- ICECCS
- ACM Southeast Regional Conference
- TYPES
- Softw. Syst. Model.
- Proc. ACM Program. Lang.
- Comput. Intell.
- Comput. Lang.
- MERLIN
- APL
- TbiLLC
- Am. Math. Mon.
- J. Comput. Syst. Sci.
- VL
- J. Log. Lang. Inf.
- CAV (2)
- ACM National Conference
- Synth.
- Comput. Linguistics
- PLDI
- AFIPS Fall Joint Computing Conference
- Comput. J.
- ASE
- CoNLL
- J. Lang. Model.
- J. Log. Program.
- Int. J. Man Mach. Stud.
- ICTCS
- Minds Mach.
Related Topics
Related Keywords
Popularity