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
- Carl P. L. Schultz
- Vilém Novák
- Wiebe van der Hoek
- Bill Yuchen Lin
- Munindar P. Singh
- Antony Galton
- Gilles Barthe
- Chandra Bhagavatula
- Lotfi A. Zadeh
- Peter LeFanu Lumsdaine
- Jan Oliver Wallgrün
- Michael J. Wooldridge
- Leora Morgenstern
- Gopalan Nadathur
- Gert Smolka
- Carolyn L. Talcott
- Daniel R. Licata
- Robert Harper
- Clark W. Barrett
- Robert L. Constable
- Lluís Godo
- Yoav Shoham
- Ernest Davis
- Matthew J. Parkinson
- Steven Schockaert
- Laurent Perrussel
Venues
- CoRR
- J. Symb. Log.
- Synth.
- Theor. Comput. Sci.
- IJCAI
- Notre Dame J. Formal Log.
- AAAI
- J. Philos. Log.
- J. Comput. Chem.
- Artif. Intell.
- Ann. Pure Appl. Log.
- Stud Logica
- LICS
- Entropy
- Log. J. IGPL
- J. Econ. Theory
- J. Log. Comput.
- Math. Log. Q.
- Electron. Notes Theor. Comput. Sci.
- Fuzzy Sets Syst.
- Log. Methods Comput. Sci.
- CSL
- Bull. Symb. Log.
- IEEE Trans. Inf. Theory
- HICSS
- Discret. Math.
- CogSci
- Fundam. Informaticae
- ECAI
- Symmetry
- ICIS
- Developments in Language Theory
- Ann. Math. Artif. Intell.
- IEEE Trans. Computers
- J. Autom. Reason.
- AAMAS
- Inf. Comput.
- ESOP
- ICALP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend