THEORETICAL BASIS
Experts
- Lane A. Hemaspaandra
- Thierry Coquand
- Christian Ikenmeyer
- Daniel R. Licata
- Nicolai Kraus
- Robert Harper
- Ketan Mulmuley
- Bas Spitters
- J. Gerard Wolff
- Robert L. Constable
- Peter Dybjer
- Andreas Abel
- Nicolas Tabareau
- Benjamin Doerr
- Zhaohui Luo
- Christos H. Papadimitriou
- Viorica Sofronie-Stokkermans
- Gert Smolka
- Lars Birkedal
- Matthew Hennessy
- Martin Ziegler
- Avi Wigderson
- Greta Panova
- Erik Palmgren
- Peter Bürgisser
- Clark W. Barrett
- Christian Sattler
- Peter LeFanu Lumsdaine
- Oded Goldreich
- Andrew M. Pitts
- Martin Grohe
- Massimo Merro
- Florian Rabe
- Thorsten Altenkirch
- Simon Huber
- Brigitte Pientka
- William M. Farmer
- Lotfi A. Zadeh
- Ulrik Buchholtz
Venues
- CoRR
- SIGACT News
- J. Comput. Chem.
- Synth.
- J. Symb. Log.
- Theor. Comput. Sci.
- Symmetry
- HICSS
- IEEE Trans. Inf. Theory
- Entropy
- J. Econ. Theory
- Notre Dame J. Formal Log.
- STOC
- AMCIS
- ICIS
- Discret. Math.
- Appl. Math. Comput.
- Math. Log. Q.
- CogSci
- SIAM Rev.
- J. Philos. Log.
- IEEE Trans. Signal Process.
- Ann. Pure Appl. Log.
- Log. Methods Comput. Sci.
- IEEE Access
- ECIS
- LICS
- MFCS
- J. Symb. Comput.
- Games Econ. Behav.
- J. Comb. Theory, Ser. A
- Math. Struct. Comput. Sci.
- SIAM J. Appl. Math.
- ICASSP
- CONCUR
- Comput. Phys. Commun.
- CSL
- IEEE Trans. Autom. Control.
- CDC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend