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