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