GENERAL THEORY
Experts
- Thierry Coquand
- Young Bae Jun
- Bas Spitters
- Robert L. Constable
- Arnaud Martin
- J. Gerard Wolff
- Viorica Sofronie-Stokkermans
- Robert Harper
- Simon Huber
- Zoltán Ésik
- Luca Aceto
- Joohyung Lee
- Anna Ingólfsdóttir
- Leila Amgoud
- Vladimir Lifschitz
- Klaus-Dieter Schewe
- Marie-Christine Lagasquie-Schiex
- Maurice Yolles
- Filippo Bonchi
- Lars Birkedal
- Nicolai Kraus
- Jesús Angulo
- Paul Ralph
- Angelo Montanari
- Miroslaw Truszczynski
- Zhaohui Luo
- Peter Dybjer
- Daniel R. Licata
- Lotfi A. Zadeh
- Afrodita Iorgulescu
- Bernhard Thalheim
- Markus Püschel
- Benedikt Ahrens
- Peter LeFanu Lumsdaine
- William M. Farmer
- Saharon Shelah
- István Németi
- Anders Mörtberg
- Andrew M. Pitts
Venues
- CoRR
- J. Symb. Log.
- Theor. Comput. Sci.
- Synth.
- J. Comput. Chem.
- IEEE Trans. Inf. Theory
- Symmetry
- Notre Dame J. Formal Log.
- Discret. Math.
- HICSS
- J. Econ. Theory
- Math. Log. Q.
- AMCIS
- Ann. Pure Appl. Log.
- Entropy
- Fuzzy Sets Syst.
- Stud Logica
- J. Philos. Log.
- LICS
- STOC
- Artif. Intell.
- ICIS
- Appl. Categorical Struct.
- Inf. Sci.
- Math. Struct. Comput. Sci.
- SIGACT News
- Int. J. Approx. Reason.
- IJCAI
- CogSci
- IEEE Trans. Signal Process.
- Log. Methods Comput. Sci.
- SIAM J. Appl. Math.
- IEEE Access
- ICRA
- ICASSP
- IROS
- Soft Comput.
- AAAI
- SIAM Rev.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend