WIDE CLASS
Experts
- Rajeev Goré
- Matthias Baaz
- LuÃs Pinto
- Sara Negri
- Alexander Leitsch
- Norihiro Kamide
- Alwen Tiu
- Roy Dyckhoff
- Olivier Hermant
- Agata Ciabattoni
- Dale Miller
- Revantha Ramanayake
- José EspÃrito Santo
- Ranald Clouston
- Katsuhiko Sano
- Nicola Olivetti
- Hiroakira Ono
- Ian Pratt-Hartmann
- Roman Kontchakov
- Michael Zakharyaschev
- Kentaro Kikuchi
- Kazushige Terui
- Stéphane Lengrand
- Delia Kesner
- Grigori Mints
- Christian Urban
- Jesper Bengtson
- Armin Hemmerling
- Andre Scedrov
- Peter Schroeder-Heister
- Noam Zeilberger
- Yavor Nenov
- Franco Parlamento
- Flavio Previale
- Stefan Hetzl
- Minghui Ma
- Rosalie Iemhoff
- Gilles Dowek
- Toshiyasu Arai
Venues
- CoRR
- Stud Logica
- J. Log. Comput.
- Ann. Pure Appl. Log.
- TABLEAUX
- J. Symb. Log.
- Log. J. IGPL
- Arch. Math. Log.
- Theor. Comput. Sci.
- LICS
- CSL
- Notre Dame J. Formal Log.
- Math. Log. Q.
- TLCA
- Electron. Notes Theor. Comput. Sci.
- Rev. Symb. Log.
- LPAR
- Discret. Comput. Geom.
- J. Autom. Reason.
- WoLLIC
- FLAP
- Math. Struct. Comput. Sci.
- LFCS
- Reports Math. Log.
- IJCAR
- IEEE Trans. Inf. Theory
- CADE
- RTA
- Inf. Comput.
- Advances in Modal Logic
- ICLA
- ICALP
- MFPS
- FSCD
- Discret. Appl. Math.
- Formaliz. Math.
- J. Philos. Log.
- SIAM J. Discret. Math.
- TbiLLC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend