GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Martin Otto
- Frank Wolter
- Manfred Kufleitner
- Wieslaw Szwast
- Tomasz Gogacz
- Jan Van den Bussche
- Vince Bárány
- Volker Diekert
- Andreas Pieris
- Jerzy Marcinkowski
- Ian Pratt-Hartmann
- Georg Gottlob
- Sebastian Rudolph
- Maarten Marx
- Reijo Jaakkola
- Jan Paredaens
- Fabio Papacchini
- André Hernich
- Balder ten Cate
- Gerald Berger
- Pablo Barceló
- Jerzy Tyszkiewicz
- Jan Kretínský
- Noureddine Bouhmala
- Ole-Christoffer Granmo
- Jean Christoph Jung
- Anca Muscholl
- Alain Finkel
- Johan van Benthem
- Charles Paperman
- A. V. Sreejith
- Manuel Bodirsky
- Cristiano Calcagno
- Max Sandström
- Gabriele Puppis
- Michael Zakharyaschev
Venues
- CoRR
- LICS
- J. Symb. Log.
- CSL
- LPAR
- J. Log. Lang. Inf.
- MFCS
- ICALP (2)
- Theor. Comput. Sci.
- Description Logics
- Stud Logica
- ICALP
- PODS
- STACS
- IJCAI
- ACM Trans. Comput. Log.
- CONCUR
- AAAI
- IEEE Trans. Knowl. Data Eng.
- Log. Methods Comput. Sci.
- DLT
- FoSSaCS
- J. Log. Comput.
- DBPL
- GandALF
- FCT
- Inf. Process. Lett.
- Math. Log. Q.
- J. Comput. Syst. Sci.
- Notre Dame J. Formal Log.
- Ann. Pure Appl. Log.
- LATA
- Artif. Intell.
- AMW
- Bull. EATCS
- FSTTCS
- ATVA
- SIAM J. Comput.
- KR
Related Topics
Related Keywords
Popularity