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