REWRITE SYSTEMS
Experts
- Aart Middeldorp
- Jürgen Giesl
- Hans Zantema
- Nachum Dershowitz
- Bernhard Gramlich
- René Thiemann
- Salvador Lucas
- Jan Willem Klop
- Takahito Aoto
- Harald Zankl
- Florian Frohn
- José Meseguer
- Maribel Fernández
- Carsten Fuhs
- Frédéric Blanqui
- Jörg Endrullis
- Cynthia Kop
- Enno Ohlebusch
- Naoki Nishida
- Jean-Pierre Jouannaud
- Johannes Waldmann
- Vincent van Oostrom
- Jakob Grue Simonsen
- Albert Rubio
- Pierre Lescanne
- Georg Moser
- Peter Schneider-Kamp
- Miika Hannula
- Ugo Dal Lago
- Akihisa Yamada
- Detlef Plump
- Julian Nagele
- Sándor Vágvölgyi
- Deepak Kapur
- Jan A. Bergstra
- Gregory J. Duck
- Danny De Schreye
- Martin Avanzini
- Ton Chanh Le
Venues
- CoRR
- RTA
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- CADE
- Inf. Comput.
- LPAR
- CTRS
- J. Autom. Reason.
- J. Symb. Comput.
- CSL
- FSCD
- Log. Methods Comput. Sci.
- LICS
- Inf. Process. Lett.
- MFCS
- ACM Trans. Comput. Log.
- ICLP
- ICALP
- Acta Informatica
- J. Log. Algebraic Methods Program.
- Ann. Pure Appl. Log.
- Fundam. Informaticae
- PPDP
- Formal Aspects Comput.
- IJCAR
- J. Log. Comput.
- ESOP
- FSTTCS
- Stud Logica
- ALP
- LOPSTR
- J. Philos. Log.
- Notre Dame J. Formal Log.
- J. Symb. Log.
- WRLA
- Appl. Algebra Eng. Commun. Comput.
- ICTAC
- FroCoS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend