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