ANTI UNIFICATION
Experts
- Temur Kutsia
- David M. Cerna
- Alexander Baumgartner
- Jordi Levy
- Mateu Villaret
- Jose Maria Turull Torres
- Dominik Wehr
- Nobuko Yoshida
- Gonzague Yernaux
- Dominik Kirst
- Wim Vanhoof
- Gilles Barthe
- Alberto Momigliano
- Yannick Forster
- Deepak Garg
- José Maria Turull Torres
- Claire Gardent
- Marco Gaboardi
- Stéphane Demri
- Thomas Place
- Ugo Dal Lago
- Alejandro Aguirre
- Michael Kohlhase
- Jean-Pierre Jouannaud
- Miklós Ajtai
- Flavio Antonio Ferrarotti
- Helmar Gust
- Alexander Gray
- Masaki Ono
- Masateru Harao
- Hiroaki Shimizu
- Subhajit Chaudhury
- Lauri Hella
- Ulf Krumnack
- Peter F. Patel-Schneider
- Asta Halkjær From
- Fei Yan
- Amy P. Felty
- Yasutaka Igarashi
Venues
- CoRR
- Theor. Comput. Sci.
- TPHOLs
- RTA
- J. Autom. Reason.
- LICS
- CADE
- J. Symb. Log.
- CSL
- Stud Logica
- J. Log. Lang. Inf.
- IJCAI
- IACR Cryptol. ePrint Arch.
- Notre Dame J. Formal Log.
- Log. J. IGPL
- WoLLIC
- FSCD
- Math. Struct. Comput. Sci.
- ECAI
- J. Comput. Syst. Sci.
- Inf. Comput.
- Ann. Math. Artif. Intell.
- Ann. Pure Appl. Log.
- Appl. Math. Comput.
- ACM Trans. Comput. Log.
- ICFP
- Electron. Notes Theor. Comput. Sci.
- J. Symb. Comput.
- LPAR
- ICASSP
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- TLCA
- IEEE Trans. Autom. Control.
- FoIKS
- Math. Log. Q.
- TYPES
- MFCS
- UNIF
- UNIF@RTA/TLCA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend