OPERATIONAL SEMANTICS
Experts
- Huibiao Zhu
- John-Jules Ch. Meyer
- Jifeng He
- Mehdi Dastani
- Bernhard Rumpe
- Rafael H. Bordini
- Peter D. Mosses
- José Meseguer
- Jürgen Giesl
- Grigore Rosu
- Frank S. de Boer
- Aart Middeldorp
- Germán Vidal
- Dale Miller
- Hans Zantema
- Alberto Verdejo
- Koen V. Hindriks
- Narciso Martí-Oliet
- Eelco Visser
- Jim Woodcock
- Jonathan P. Bowen
- Nissim Francez
- Wiebe van der Hoek
- Lutz Schröder
- Catuscia Palamidessi
- J. W. de Bakker
- Manfred Broy
- Michael Hanus
- Andrzej Tarlecki
- Egon Börger
- René Thiemann
- Renata Vieira
- Wan J. Fokkink
- Ugo Montanari
- M. Birna van Riemsdijk
- David A. Schmidt
- Shengchao Qin
- Alessandro Ricci
- Martin Wirsing
Venues
- CoRR
- Electron. Notes Theor. Comput. Sci.
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- CogSci
- AAMAS
- LICS
- RTA
- IJCAI
- J. Symb. Log.
- Synth.
- J. Log. Algebraic Methods Program.
- Sci. Comput. Program.
- Ann. Pure Appl. Log.
- Inf. Comput.
- MFPS
- Proc. ACM Program. Lang.
- POPL
- J. Log. Comput.
- J. Philos. Log.
- ESOP
- Notre Dame J. Formal Log.
- COLING
- Commun. ACM
- Stud Logica
- Fundam. Informaticae
- CSL
- ACM Trans. Program. Lang. Syst.
- IEEE Trans. Software Eng.
- Inf. Process. Lett.
- Acta Informatica
- Formal Aspects Comput.
- ICLP
- Log. Methods Comput. Sci.
- J. Autom. Reason.
- ECAI
- ICFEM
- Math. Struct. Comput. Sci.
- MFCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend