REWRITE RULES
Experts
- José Meseguer
- Salvador Lucas
- Claude Kirchner
- Narciso Martí-Oliet
- Rachid Echahed
- Maribel Fernández
- Hélène Kirchner
- Andrea Corradini
- Frédéric Blanqui
- Hans Zantema
- Nachum Dershowitz
- Richard Kennaway
- María Alpuente
- Grigore Rosu
- Fabio Gadducci
- Georg Moser
- M. Ronan Sleep
- Alfons Geser
- Guillem Godoy
- Sándor Vágvölgyi
- Horatiu Cirstea
- Pierre Lescanne
- Santiago Escobar
- Naoki Nishida
- Alberto Verdejo
- Miguel Palomino
- Yohan Boichut
- Demis Ballis
- Aart Middeldorp
- Isabel Pita
- Rakesh M. Verma
- Jean-Pierre Jouannaud
- Leila Ribeiro
- Jan Willem Klop
- Stéphane Kaplan
- Michaël Rusinowitch
- Pierre-Etienne Moreau
- Ashish Tiwari
- Jürgen Giesl
Venues
- CoRR
- RTA
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- WRLA
- ICGT
- CTRS
- CADE
- J. Symb. Comput.
- Math. Struct. Comput. Sci.
- Sci. Comput. Program.
- FSCD
- Inf. Comput.
- Inf. Process. Lett.
- Log. Methods Comput. Sci.
- LOPSTR
- LICS
- J. Autom. Reason.
- SIGMOD Conference
- J. Log. Algebraic Methods Program.
- Fundam. Informaticae
- MFCS
- ICDE
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- J. Funct. Program.
- DAC
- J. ACM
- CSL
- AGTIVE
- ALP
- SYNASC
- ACM Trans. Program. Lang. Syst.
- WADT
- Appl. Algebra Eng. Commun. Comput.
- Commun. ACM
- CAV
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ISSAC
- WRLA@ETAPS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend