ANTI UNIFICATION
Experts
- Temur Kutsia
- David M. Cerna
- Alexander Baumgartner
- Jordi Levy
- Mateu Villaret
- Jose Maria Turull Torres
- Dominik Kirst
- Gonzague Yernaux
- Wim Vanhoof
- Dominik Wehr
- Nobuko Yoshida
- Yannick Forster
- Michael Kohlhase
- Alberto Momigliano
- Alejandro Aguirre
- Marco Gaboardi
- Deepak Garg
- Gilles Barthe
- Claire Gardent
- Thomas Place
- Stéphane Demri
- José Maria Turull Torres
- Ugo Dal Lago
- Hans de Nivelle
- Amaldev Manuel
- Cristiano D. Vasconcellos
- Michiaki Tatsubori
- Gilles Dowek
- Peter F. Patel-Schneider
- Nissim Francez
- Manfred Kerber
- Cynthia Kop
- Jack McKeown
- Amy P. Felty
- Amir Moradi
- Dhruv Nevatia
- Jean-Luc Marichal
- Petr Cintula
- Karel Chvalovský
Venues
- CoRR
- TPHOLs
- Theor. Comput. Sci.
- RTA
- J. Autom. Reason.
- LICS
- CADE
- CSL
- J. Symb. Log.
- IJCAI
- IACR Cryptol. ePrint Arch.
- Stud Logica
- J. Log. Lang. Inf.
- FSCD
- Log. J. IGPL
- Notre Dame J. Formal Log.
- WoLLIC
- J. Comput. Syst. Sci.
- Ann. Math. Artif. Intell.
- Electron. Notes Theor. Comput. Sci.
- ICFP
- ICASSP
- ACM Trans. Comput. Log.
- J. Symb. Comput.
- Inf. Comput.
- Math. Struct. Comput. Sci.
- LPAR
- Appl. Math. Comput.
- Ann. Pure Appl. Log.
- ECAI
- Proc. ACM Program. Lang.
- Int. J. Agent Technol. Syst.
- Math. Comput.
- MFCS
- Log. Methods Comput. Sci.
- LOPSTR
- SBLP
- J. Log. Comput.
- FoIKS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend