RECURSIVE PROGRAMS
Experts
- Sumit Gulwani
- Alberto Pettorossi
- Armando Solar-Lezama
- Maurizio Proietti
- Michael Hanus
- Rishabh Singh
- Nadia Polikarpova
- Isil Dillig
- Kevin Ellis
- Manuel V. Hermenegildo
- Zohar Manna
- Giorgio Levi
- María Alpuente
- Maurice Bruynooghe
- Danny De Schreye
- Yewen Pu
- Vladimir Lifschitz
- Germán Vidal
- Sergio Greco
- Makoto Tatsuta
- Fabio Fioravanti
- Dominik Sobania
- Ricardo Rocha
- Franz Rothlauf
- Pedro Cabalar
- Antonio Brogi
- Jorge Fandinno
- Jeff B. Paris
- Woosuk Lee
- Pierre Flener
- Torsten Schaub
- Frank S. de Boer
- Gilles Barthe
- Raghu Ramakrishnan
- Kung-Kiu Lau
- Jeffrey S. Foster
- Dawn Song
- Osbert Bastani
- José Júlio Alferes
Venues
- CoRR
- LOPSTR
- ICLP
- Proc. ACM Program. Lang.
- IJCAI
- J. Log. Program.
- Theor. Comput. Sci.
- Theory Pract. Log. Program.
- AAAI
- PLDI
- Electron. Notes Theor. Comput. Sci.
- MFCS
- New Gener. Comput.
- CADE
- POPL
- PPDP
- ICALP
- PEPM
- SAS
- LICS
- IEEE Trans. Software Eng.
- LPNMR
- Sci. Comput. Program.
- ACM Trans. Program. Lang. Syst.
- PLILP
- ASE
- APPIA-GULP-PRODE
- LPAR
- NACLP
- APLAS
- FGCS
- NeurIPS
- Ann. Math. Artif. Intell.
- J. ACM
- GECCO
- Autom. Softw. Eng.
- J. Autom. Reason.
- Artif. Intell.
- ESOP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend