FINITELY REPRESENTABLE
Experts
- Thi-Bich-Hanh Dao
- Khalil Djelloul
- Anuj Dawar
- Roger D. Maddux
- Jan Van den Bussche
- Samson Abramsky
- Marcelo F. Frias
- Thom W. Frühwirth
- Stéphane Grumbach
- Daria Walukiewicz-Chrzaszcz
- Jacek Chrzaszcz
- Phokion G. Kolaitis
- Luc Segoufin
- John C. Mitchell
- Albert R. Meyer
- Wojciech Kazana
- Jianwen Su
- Alain Colmerauer
- Pengming Wang
- Floris Geerts
- Levan Uridia
- Rajiv Bagai
- Tinko Tinchev
- Asia Ivic Weiss
- A. Carlisle Scott
- Olga G. Parshina
- Hung M. Phan
- Kuanysh Abeshev
- Hans Eveking
- Diego Calvanese
- K. C. Sivakumar
- Qiwen Xu
- Lijun Zhang
- Raphaël Meyer
- Andreas Krebs
- David Janin
- Mathias Hülsbusch
- Antoine Petit
- Egon Schulte
Venues
- CoRR
- LICS
- Inf. Process. Lett.
- Notre Dame J. Formal Log.
- J. Comput. Syst. Sci.
- Theor. Comput. Sci.
- J. Appl. Math.
- J. Comb. Theory, Ser. A
- Ann. Pure Appl. Log.
- Advances in Modal Logic
- ICALP
- PODS
- STACS
- Discret. Math.
- J. Symb. Log.
- Autom. Control. Comput. Sci.
- CSL
- Theory Pract. Log. Program.
- Inf. Control.
- POPL
- Algorithmic Languages and Calculi
- AI Mag.
- Int. J. Found. Comput. Sci.
- SIGACT News
- SAC
- FCT
- Adv. Math. Commun.
- CP
- J. Comb. Theory, Ser. B
- Int. J. Algebra Comput.
- Discret. Appl. Math.
- WLP
- RelMiCS
- CONCUR
- Autom.
- FDL
- Math. Program.
- ISMVL
- Bull. Symb. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend