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