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