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