FORMAL LANGUAGE
Experts
- Grigore Rosu
- Tobias Kuhn
- José Meseguer
- Rolf Schwitter
- Jeffrey O. Shallit
- Mehrnoosh Sadrzadeh
- Matteo Pradella
- Eelco Visser
- Bernhard Rumpe
- Narciso Martí-Oliet
- Grzegorz Rozenberg
- Jan A. Bergstra
- Michele Boreale
- Paolo Ciancarini
- Norbert E. Fuchs
- Miika Hannula
- Verónica Dahl
- Manfred Broy
- Davide Sangiorgi
- Andrzej Tarlecki
- Giorgio Levi
- Francesco Parisi-Presicce
- Rafael Caballero
- Henning Fernau
- Gabriel Ciobanu
- Christian Retoré
- Francesco Tiezzi
- Alberto Verdejo
- Jürgen Dassow
- Lila Kari
- Giorgi Japaridze
- Mark Steedman
- Aravind K. Joshi
- Gilles Barthe
- Horatiu Cirstea
- Ugo Montanari
- Stavros Konstantinidis
- T. S. E. Maibaum
- Louis H. Kauffman
Venues
- CoRR
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- COLING
- CogSci
- Sci. Comput. Program.
- MFCS
- J. Log. Comput.
- Stud Logica
- ACM SIGPLAN Notices
- IJCAI
- J. Philos. Log.
- LICS
- J. Log. Lang. Inf.
- Fundam. Informaticae
- LREC
- Inf. Comput.
- Notre Dame J. Formal Log.
- Log. J. IGPL
- Synth.
- Lang. Linguistics Compass
- ACL
- CONCUR
- Commun. ACM
- IEEE Trans. Software Eng.
- AAAI
- Acta Informatica
- Formal Aspects Comput.
- J. Comput. Syst. Sci.
- J. Symb. Log.
- WoLLIC
- FORTE
- SEKE
- CSL
- Math. Struct. Comput. Sci.
- FoSSaCS
- Ann. Pure Appl. Log.
- DAC
- Bull. EATCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend