GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Martin Otto
- Frank Wolter
- Manfred Kufleitner
- Wieslaw Szwast
- Jan Van den Bussche
- Georg Gottlob
- Vince Bárány
- Ian Pratt-Hartmann
- Andreas Pieris
- Tomasz Gogacz
- Jerzy Marcinkowski
- Volker Diekert
- Sebastian Rudolph
- Gerald Berger
- Maarten Marx
- André Hernich
- Jerzy Tyszkiewicz
- Jan Paredaens
- Balder ten Cate
- Reijo Jaakkola
- Fabio Papacchini
- Pablo Barceló
- Birte Glimm
- Renate A. Schmidt
- Manuel Bodirsky
- Florent Bouchy
- A. V. Sreejith
- Miroslav Chodil
- Wei Sun
- Dirk Van Gucht
- Yehoshua Sagiv
- Karel Culík II
- Sen Zheng
- Jouko A. Väänänen
- Jan Kretínský
- Michael Zakharyaschev
Venues
- CoRR
- LICS
- CSL
- J. Symb. Log.
- Description Logics
- ACM Trans. Comput. Log.
- LPAR
- J. Log. Lang. Inf.
- ICALP (2)
- Theor. Comput. Sci.
- Stud Logica
- MFCS
- PODS
- IJCAI
- STACS
- ICALP
- FCT
- Inf. Process. Lett.
- DBPL
- Log. Methods Comput. Sci.
- IEEE Trans. Knowl. Data Eng.
- J. Comput. Syst. Sci.
- GandALF
- CONCUR
- Math. Log. Q.
- FoSSaCS
- AAAI
- J. Log. Comput.
- DLT
- FOGA
- IJCAR
- Notre Dame J. Formal Log.
- FroCoS
- J. Artif. Intell. Res.
- LACL
- AMW
- CILC
- RP
- SCSS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend