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