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