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