GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Martin Otto
- Frank Wolter
- Manfred Kufleitner
- Wieslaw Szwast
- Sebastian Rudolph
- Vince Bárány
- Volker Diekert
- Tomasz Gogacz
- Jerzy Marcinkowski
- Jan Van den Bussche
- Andreas Pieris
- Ian Pratt-Hartmann
- Georg Gottlob
- Gerald Berger
- Jerzy Tyszkiewicz
- Reijo Jaakkola
- Jan Paredaens
- Balder ten Cate
- Maarten Marx
- Fabio Papacchini
- Pablo Barceló
- André Hernich
- Sen Zheng
- Antti Kuusisto
- Birte Glimm
- Davide Bresolin
- Inderpal Singh Mumick
- Jan Hidders
- Ole-Christoffer Granmo
- Gabriele Puppis
- Florent Bouchy
- Domenico Cantone
- Juhani Karhumäki
- Mikolaj Bojanczyk
- Juha Kontinen
- Karel Culík II
Venues
- CoRR
- LICS
- ACM Trans. Comput. Log.
- Description Logics
- CSL
- J. Symb. Log.
- MFCS
- Theor. Comput. Sci.
- LPAR
- Stud Logica
- ICALP (2)
- J. Log. Lang. Inf.
- IJCAI
- ICALP
- PODS
- STACS
- FCT
- Math. Log. Q.
- Log. Methods Comput. Sci.
- CONCUR
- DBPL
- GandALF
- AAAI
- Inf. Process. Lett.
- J. Log. Comput.
- IEEE Trans. Knowl. Data Eng.
- FoSSaCS
- DLT
- J. Comput. Syst. Sci.
- FOGA
- Ann. Pure Appl. Log.
- LATA
- Theory Comput. Syst.
- LACL
- J. Math. Log.
- CAV (2)
- Workshop on Deductive Databases, JICSLP
- ATVA
- J. Artif. Intell. Res.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend