TERM REWRITE SYSTEMS
Experts
- Jürgen Giesl
- Salvador Lucas
- Florian Frohn
- Peter Schneider-Kamp
- René Thiemann
- Byron Cook
- Deepak Kapur
- Guillem Godoy
- Carsten Fuhs
- Aart Middeldorp
- Sándor Vágvölgyi
- Krishnendu Chatterjee
- José Meseguer
- Naoki Nishida
- Rakesh M. Verma
- Andrey Rybalchenko
- Thomas Ströder
- Thomas Arts
- M. R. K. Krishna Rao
- Marc Brockschmidt
- Christian Sternagel
- Claude Marché
- Petr Novotný
- R. K. Shyamasundar
- Toshiki Sakabe
- Hans Zantema
- Albert Rubio
- Xavier Urbain
- José Iborra
- Georg Moser
- Ashish Tiwari
- Michael Codish
- Beatriz Alarcón
- Jera Hensel
- Pierre Lescanne
- Akihisa Yamada
- Robert Nieuwenhuis
- Salvatore Ruggieri
- Fabian Emmes
Venues
- CoRR
- RTA
- CADE
- J. Autom. Reason.
- Electron. Notes Theor. Comput. Sci.
- Theor. Comput. Sci.
- CAV
- ACM Trans. Comput. Log.
- IJCAR
- J. Log. Algebraic Methods Program.
- SAS
- J. Symb. Comput.
- PLDI
- ICLP
- Appl. Algebra Eng. Commun. Comput.
- FroCoS
- LOPSTR
- Inf. Comput.
- ITP
- IEEE Trans. Software Eng.
- Inf. Process. Lett.
- Sci. Comput. Program.
- WRLA
- ASE
- CSL
- STACS
- STOC
- CAV (2)
- SIAM J. Comput.
- IEICE Trans. Inf. Syst.
- TACAS
- ICALP
- SYNASC
- CONCUR
- FMCAD
- ICTCS
- CTRS
- FSCD
- Commun. ACM
Related Topics
Related Keywords
Popularity