COMPREHENSIVE SET
Experts
- Yuri Gurevich
- Rafael H. Bordini
- Kris Gaj
- Bilal Habib
- Álvaro F. Moreira
- Martin Davis
- Oron Shagrir
- Gilles Dowek
- Paul Kersten
- Hen Suh Park
- Eythymios Tsatsaris
- Dave Ward
- Christos Georgakidis
- Cristina L. Greiner
- Marco Di Maria
- Nicolas D. Goodman
- George R. Woolfolk
- Maximilian Wuttke
- José Viterbo
- Eric Knauss
- David Walter
- François Claveau
- Si Shen
- Olan Dolezal
- Olga Uryupina
- William John Jobst
- Gerhard Schurz
- Thomas S. Peat
- Julia Morris
- Hélio Kuramoto
- Luis Ángel Ruiz Fernández
- Yura N. Perov
- Diogo Dantas Moreira
- Guoyuan Li
- Stavros Simoglou
- Fernanda Leite
- Sharif Iqbal Mitu Sheikh
- Jill Burstein
- Janet Newman
Venues
- IEEE Trans. Inf. Theory
- CoRR
- Synth.
- Comput. Sci. J. Moldova
- Notre Dame J. Formal Log.
- J. Philos. Log.
- Comput. Humanit.
- Minds Mach.
- J. Chem. Inf. Model.
- J. Symb. Log.
- CiE
- Stud Logica
- Comput. Geosci.
- AI Commun.
- EEKE@JCDL
- Annu. Rev. Control.
- Biomed. Signal Process. Control.
- MFCS
- KMIS
- CLIMA
- J. Funct. Program.
- Discret. Math.
- IISA
- IEEE Access
- ITiCSE
- Bull. Symb. Log.
- SEAL
- XRDS
- ECIL
- Inf. Control.
- Log. Methods Comput. Sci.
- Nucleic Acids Res.
- DASC/PiCom/CBDCom/CyberSciTech
- TFC
- Learn. Publ.
- Bull. EATCS
- Int. J. Unconv. Comput.
- SIGUCCS
- Medical Biol. Eng. Comput.
Related Topics
Related Keywords
Popularity