DECLARATIVE SEMANTICS
Experts
- Luís Moniz Pereira
- Michael Hanus
- José Júlio Alferes
- Antonio Brogi
- Evelina Lamma
- Mario Rodríguez-Artalejo
- V. S. Subrahmanian
- Sergio Greco
- Giorgio Levi
- Nicola Leone
- Luciano Caroprese
- Rafael Caballero
- Panos Rondogiannis
- Robert A. Kowalski
- Ester Zumpano
- Germán Vidal
- Carlo Zaniolo
- Ekaterina Komendantskaya
- Vladimir Lifschitz
- Stefania Costantini
- Marc Denecker
- Franco Turini
- Teodor C. Przymusinski
- Dale Miller
- Enrico Pontelli
- Dino Pedreschi
- Paola Mello
- Annalisa Bossi
- Catuscia Palamidessi
- Thomas Eiter
- Dirk Vermeir
- Fabrizio Riguzzi
- Mauricio Osorio
- Jia-Huai You
- Gopalan Nadathur
- John Power
- Moreno Falaschi
- Jesús Medina
- Naoki Kobayashi
Venues
- CoRR
- ICLP
- J. Log. Program.
- Theor. Comput. Sci.
- Theory Pract. Log. Program.
- LPNMR
- LOPSTR
- Electron. Notes Theor. Comput. Sci.
- SLP
- IJCAI
- ILPS
- J. Log. Comput.
- LICS
- Sci. Comput. Program.
- ELP
- New Gener. Comput.
- Proc. ACM Program. Lang.
- FGCS
- Ann. Math. Artif. Intell.
- JELIA
- POPL
- Fundam. Informaticae
- ALP
- J. Log. Algebraic Methods Program.
- PODS
- PPDP
- ICLP (Technical Communications)
- Inf. Comput.
- PLILP
- CSL
- APPIA-GULP-PRODE
- JICSLP
- PADL
- Inf. Process. Lett.
- ICALP
- KR
- ACM Trans. Comput. Log.
- IEEE Trans. Knowl. Data Eng.
- FLOPS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend