EQUATIONAL THEORIES
Experts
- José Meseguer
- Paliath Narendran
- Francisco Durán
- Santiago Escobar
- Narciso Martí-Oliet
- Franz Baader
- Luca Aceto
- Manfred Schmidt-Schauß
- Steven Eker
- Anna Ingólfsdóttir
- Zoltán Ésik
- Catherine A. Meadows
- Harald Ganzinger
- Iddo Tzameret
- Miguel Palomino
- Patrick Lincoln
- Jean-Pierre Jouannaud
- Manuel Clavel
- Michaël Rusinowitch
- Wan J. Fokkink
- Gilles Barthe
- Jörg H. Siekmann
- Deepak Kapur
- Christopher Lynch
- Andrew M. Marshall
- Carolyn L. Talcott
- Serdar Erbatur
- Grigore Rosu
- Mauricio Ayala-Rincón
- Christophe Ringeissen
- Steve Kremer
- Claude Kirchner
- Alberto Verdejo
- Osman Hasan
- Joseph A. Goguen
- Temur Kutsia
- Leo Bachmair
- Sofiène Tahar
- Nachum Dershowitz
Venues
- CoRR
- CADE
- RTA
- IACR Cryptol. ePrint Arch.
- Theor. Comput. Sci.
- J. Symb. Comput.
- J. Autom. Reason.
- LICS
- J. Symb. Log.
- Ann. Pure Appl. Log.
- Notre Dame J. Formal Log.
- Electron. Notes Theor. Comput. Sci.
- Discret. Math.
- Electron. Colloquium Comput. Complex.
- LPAR
- Inf. Comput.
- WRLA
- UNIF
- Log. J. IGPL
- CSL
- Math. Struct. Comput. Sci.
- Fundam. Informaticae
- ICALP
- TPHOLs
- IJCAI
- IJCAR
- J. Comb. Theory, Ser. A
- ACL
- Synth.
- IEEE Trans. Inf. Theory
- COLING
- Eur. J. Comb.
- J. ACM
- Appl. Categorical Struct.
- MFCS
- Finite Fields Their Appl.
- STOC
- ECAI
- FOCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend