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