ANTI UNIFICATION
Experts
- Temur Kutsia
- David M. Cerna
- Alexander Baumgartner
- Jordi Levy
- Mateu Villaret
- Jose Maria Turull Torres
- Dominik Wehr
- Wim Vanhoof
- Gonzague Yernaux
- Nobuko Yoshida
- Dominik Kirst
- Alejandro Aguirre
- Alberto Momigliano
- Ugo Dal Lago
- Claire Gardent
- Yannick Forster
- Deepak Garg
- Marco Gaboardi
- Stéphane Demri
- Thomas Place
- Gilles Barthe
- José Maria Turull Torres
- Michael Kohlhase
- Brigitte Pientka
- Viorica Sofronie-Stokkermans
- Masaki Ono
- Tetsuya Sato
- Matteo Manighetti
- Dragan Doder
- Koen Claessen
- Angshuman Karmakar
- Claude Kirchner
- Michiel Van Beirendonck
- Jianguo Lu
- Nenad Savic
- Miklós Ajtai
- Michiaki Tatsubori
- Lauri Hella
- Amir Moradi
Venues
- CoRR
- Theor. Comput. Sci.
- TPHOLs
- RTA
- J. Autom. Reason.
- LICS
- CADE
- CSL
- J. Symb. Log.
- IACR Cryptol. ePrint Arch.
- IJCAI
- Stud Logica
- J. Log. Lang. Inf.
- Notre Dame J. Formal Log.
- FSCD
- WoLLIC
- Log. J. IGPL
- ICASSP
- LPAR
- ACM Trans. Comput. Log.
- Ann. Math. Artif. Intell.
- Inf. Comput.
- Ann. Pure Appl. Log.
- ECAI
- ICFP
- J. Comput. Syst. Sci.
- Electron. Notes Theor. Comput. Sci.
- Math. Struct. Comput. Sci.
- J. Symb. Comput.
- Appl. Math. Comput.
- Commun. Nonlinear Sci. Numer. Simul.
- Math. Comput.
- LOPSTR
- ESOP
- Math. Log. Q.
- J. Comput. Appl. Math.
- Proc. ACM Program. Lang.
- PPDP
- IEEE Trans. Autom. Control.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend