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