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