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
- Emiliano Lorini
- Ronan Le Bras
- Antony Galton
- Carl P. L. Schultz
- Vilém Novák
- Bill Yuchen Lin
- Wiebe van der Hoek
- Munindar P. Singh
- Leora Morgenstern
- Peter LeFanu Lumsdaine
- Jan Oliver Wallgrün
- Gert Smolka
- Gilles Barthe
- Lotfi A. Zadeh
- Gopalan Nadathur
- Michael J. Wooldridge
- Chandra Bhagavatula
- Clark W. Barrett
- Viorica Sofronie-Stokkermans
- Simon Parsons
- Daniel R. Licata
- Robert Harper
- Laurent Perrussel
- Ernest Davis
- Robert L. Constable
- Richmond H. Thomason
- Matthew J. Parkinson
- Lluís Godo
Venues
- CoRR
- J. Symb. Log.
- Synth.
- IJCAI
- Theor. Comput. Sci.
- J. Philos. Log.
- Notre Dame J. Formal Log.
- AAAI
- Artif. Intell.
- J. Comput. Chem.
- Ann. Pure Appl. Log.
- Stud Logica
- LICS
- Log. J. IGPL
- Math. Log. Q.
- J. Econ. Theory
- J. Log. Comput.
- Entropy
- Electron. Notes Theor. Comput. Sci.
- Fuzzy Sets Syst.
- Log. Methods Comput. Sci.
- HICSS
- IEEE Trans. Inf. Theory
- CSL
- Discret. Math.
- Fundam. Informaticae
- ECAI
- Bull. Symb. Log.
- Ann. Math. Artif. Intell.
- ICIS
- Developments in Language Theory
- IEEE Trans. Computers
- ICALP
- J. Autom. Reason.
- Symmetry
- Inf. Comput.
- ESOP
- J. Comb. Theory, Ser. A
- Games Econ. Behav.
Related Topics
Related Keywords
Popularity