TERM REWRITING SYSTEMS
Experts
- Germán Vidal
- Manuel V. Hermenegildo
- Alberto Pettorossi
- Maurizio Proietti
- Michael Codish
- Yoshihito Toyama
- Michael Hanus
- Moreno Falaschi
- Luís Moniz Pereira
- Giorgio Levi
- María Alpuente
- Ricardo Rocha
- Maurice Bruynooghe
- Saumya K. Debray
- Kim Marriott
- Vladimir Lifschitz
- Frédéric Mesnard
- Andy King
- Hans Tompits
- M. R. K. Krishna Rao
- Danny De Schreye
- Takahito Aoto
- Stefan Woltran
- Masahiko Sakai
- Naoki Kobayashi
- John P. Gallagher
- Pedro Cabalar
- Jan-Georg Smaus
- Étienne Payet
- Marco Comini
- José Júlio Alferes
- Torsten Schaub
- Antonio Brogi
- Jan Willem Klop
- Katsumi Inoue
- Salvador Lucas
- Germán Puebla
- Wim Vanhoof
- I. V. Ramakrishnan
Venues
- CoRR
- ICLP
- LOPSTR
- J. Log. Program.
- Theor. Comput. Sci.
- RTA
- Theory Pract. Log. Program.
- PLILP
- Electron. Notes Theor. Comput. Sci.
- New Gener. Comput.
- LPNMR
- IJCAI
- ILPS
- Inf. Process. Lett.
- APPIA-GULP-PRODE
- SAS
- Ann. Math. Artif. Intell.
- POPL
- J. Symb. Comput.
- JELIA
- NACLP
- AAAI
- CTRS
- PEPM
- ESOP
- SLP
- Inf. Comput.
- PPDP
- Proc. ACM Program. Lang.
- ACM Trans. Comput. Log.
- ACM Trans. Program. Lang. Syst.
- J. Funct. Program.
- FGCS
- JICSLP
- FSTTCS
- LPAR
- IFL
- ICFP
- J. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend