FORMAL LANGUAGE
Experts
- Grigore Rosu
- Tobias Kuhn
- José Meseguer
- Rolf Schwitter
- Jeffrey O. Shallit
- Narciso Martí-Oliet
- Matteo Pradella
- Mehrnoosh Sadrzadeh
- Eelco Visser
- Bernhard Rumpe
- Norbert E. Fuchs
- Paolo Ciancarini
- Manfred Broy
- Verónica Dahl
- Miika Hannula
- Davide Sangiorgi
- Jan A. Bergstra
- Grzegorz Rozenberg
- Michele Boreale
- Francesco Tiezzi
- Christian Retoré
- Gabriel Ciobanu
- Alberto Verdejo
- Jürgen Dassow
- Lila Kari
- Andrzej Tarlecki
- Francesco Parisi-Presicce
- Giorgio Levi
- Rafael Caballero
- Henning Fernau
- Stavros Konstantinidis
- T. S. E. Maibaum
- Rocco De Nicola
- Louis H. Kauffman
- Alexander Okhotin
- Till Mossakowski
- Martin Wirsing
- Giorgi Japaridze
- Aravind K. Joshi
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.
- Fundam. Informaticae
- LREC
- Notre Dame J. Formal Log.
- Inf. Comput.
- Log. J. IGPL
- Synth.
- ACL
- CONCUR
- Lang. Linguistics Compass
- IEEE Trans. Software Eng.
- Commun. ACM
- Acta Informatica
- AAAI
- Formal Aspects Comput.
- J. Symb. Log.
- J. Comput. Syst. Sci.
- WoLLIC
- FORTE
- SEKE
- CSL
- FoSSaCS
- Math. Struct. Comput. Sci.
- Ann. Pure Appl. Log.
- DAC
- IFIP Congress
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend