FORMAL THEORY
Experts
- Joseph Y. Halpern
- Yejin Choi
- Riccardo Pucella
- Lars Birkedal
- Przemyslaw Andrzej Walega
- Thierry Coquand
- Klaus-Dieter Schewe
- Bernhard Nebel
- Xiang Ren
- Mehul Bhatt
- Moshe Y. Vardi
- Ronan Le Bras
- Emiliano Lorini
- Vilém Novák
- Bill Yuchen Lin
- Wiebe van der Hoek
- Munindar P. Singh
- Antony Galton
- Carl P. L. Schultz
- Leora Morgenstern
- Gopalan Nadathur
- Gert Smolka
- Gilles Barthe
- Lotfi A. Zadeh
- Chandra Bhagavatula
- Peter LeFanu Lumsdaine
- Jan Oliver Wallgrün
- Michael J. Wooldridge
- Clark W. Barrett
- Robert L. Constable
- Yoav Shoham
- Lluís Godo
- Ernest Davis
- Matthew J. Parkinson
- Steven Schockaert
- Richmond H. Thomason
- Laurent Perrussel
- Viorica Sofronie-Stokkermans
- Simon Parsons
Venues
- CoRR
- J. Symb. Log.
- Synth.
- Theor. Comput. Sci.
- IJCAI
- J. Philos. Log.
- AAAI
- Notre Dame J. Formal Log.
- J. Comput. Chem.
- Artif. Intell.
- Ann. Pure Appl. Log.
- Stud Logica
- Entropy
- LICS
- Log. J. IGPL
- J. Econ. Theory
- J. Log. Comput.
- Math. Log. Q.
- Electron. Notes Theor. Comput. Sci.
- Fuzzy Sets Syst.
- Log. Methods Comput. Sci.
- Bull. Symb. Log.
- CSL
- HICSS
- IEEE Trans. Inf. Theory
- Discret. Math.
- CogSci
- ECAI
- Fundam. Informaticae
- Symmetry
- ICIS
- Developments in Language Theory
- Ann. Math. Artif. Intell.
- Inf. Comput.
- AAMAS
- IEEE Trans. Computers
- J. Autom. Reason.
- ICALP
- Games Econ. Behav.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend