FINITELY REPRESENTABLE
Experts
- Thi-Bich-Hanh Dao
- Anuj Dawar
- Khalil Djelloul
- Marcelo F. Frias
- Samson Abramsky
- Jan Van den Bussche
- Roger D. Maddux
- Daria Walukiewicz-Chrzaszcz
- Jianwen Su
- Phokion G. Kolaitis
- John C. Mitchell
- Pengming Wang
- Alain Colmerauer
- Luc Segoufin
- Stéphane Grumbach
- Thom W. Frühwirth
- Jacek Chrzaszcz
- Floris Geerts
- Wojciech Kazana
- Albert R. Meyer
- Hanpin Wang
- Claude Tardif
- H. A. Jung
- Victor Chepoi
- Jianwen Li
- Kilhwan Kim
- Lijun Zhang
- Deepak Goyal
- David Janin
- Hans-Jürgen Bandelt
- Horst Herrlich
- Levan Uridia
- Yuri Gurevich
- Ben M. Chen
- Martin Schickel
- John R. Graef
- Matthew Hennessy
- Svetlana Puzynina
- Binlong Li
Venues
- CoRR
- LICS
- Notre Dame J. Formal Log.
- J. Comput. Syst. Sci.
- Inf. Process. Lett.
- Theor. Comput. Sci.
- J. Appl. Math.
- J. Symb. Log.
- J. Comb. Theory, Ser. A
- STACS
- Advances in Modal Logic
- PODS
- Discret. Math.
- ICALP
- Ann. Pure Appl. Log.
- TYPES
- J. Comb. Theory, Ser. B
- Math. Log. Q.
- FoIKS
- Autom.
- SIAM J. Discret. Math.
- Appl. Categorical Struct.
- Open J. Math. Optim.
- Math. Program.
- SIGSOFT FSE
- Int. J. Math. Math. Sci.
- AI Mag.
- Logic and Machines
- POPL
- CSL
- IBERAMIA-SBIA
- Appl. Math. Lett.
- IJCAI
- FCT
- Autom. Control. Comput. Sci.
- Proof, Language, and Interaction
- Comput. Lang.
- IACR Cryptol. ePrint Arch.
- Descriptive Complexity and Finite Models
Related Topics
Related Keywords
Popularity