FORMAL SEMANTICS
Experts
- Peter D. Mosses
- Bernhard Rumpe
- John-Jules Ch. Meyer
- Jifeng He
- Huibiao Zhu
- José Meseguer
- Guido Governatori
- Jonni Virtema
- Ugo Montanari
- Juha Kontinen
- Leendert W. N. van der Torre
- Samson Abramsky
- Ian Horrocks
- Miika Hannula
- J. W. de Bakker
- Laura Giordano
- Mauricio Osorio
- James Laird
- Mehrnoosh Sadrzadeh
- Grigore Rosu
- Grigoris Antoniou
- Jim Woodcock
- Madalina Croitoru
- Walter Vogler
- Lutz Schröder
- Gabriel Ciobanu
- Lei Chen
- Peter Sewell
- Antonino Rotolo
- Guillermo Ricardo Simari
- Wan J. Fokkink
- Eneia Nicolae Todoran
- Michael W. Mislove
- Filippo Bonchi
- Jonathan P. Bowen
- Martin Gogolla
- Amit P. Sheth
- Bart Jacobs
- Dan R. Ghica
Venues
- CoRR
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- J. Philos. Log.
- IJCAI
- J. Log. Comput.
- LICS
- Notre Dame J. Formal Log.
- MFPS
- Synth.
- AAAI
- Stud Logica
- CADE
- Fundam. Informaticae
- Description Logics
- Sci. Comput. Program.
- COLING
- POPL
- CSL
- Inf. Comput.
- J. Log. Lang. Inf.
- Proc. ACM Program. Lang.
- ESOP
- Artif. Intell.
- AAMAS
- MFCS
- ECAI
- Log. J. IGPL
- J. Semant.
- KR
- J. Log. Algebraic Methods Program.
- ICALP
- Ann. Pure Appl. Log.
- J. Symb. Log.
- CONCUR
- SAC
- DEON
- Formal Aspects Comput.
- J. Appl. Non Class. Logics
Related Topics
Related Keywords
Popularity