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