GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Frank Wolter
- Martin Otto
- Wieslaw Szwast
- Manfred Kufleitner
- Tomasz Gogacz
- Ian Pratt-Hartmann
- Volker Diekert
- Georg Gottlob
- Jan Van den Bussche
- Sebastian Rudolph
- Jerzy Marcinkowski
- Vince Bárány
- Andreas Pieris
- Fabio Papacchini
- Jan Paredaens
- Gerald Berger
- Balder ten Cate
- Maarten Marx
- Reijo Jaakkola
- Jerzy Tyszkiewicz
- André Hernich
- Pablo Barceló
- Davide Bresolin
- Inderpal Singh Mumick
- Tony Tan
- Anca Muscholl
- Yehoshua Sagiv
- Saptarshi Sarkar
- Antonín Kucera
- Juha Kontinen
- Oded Shmueli
- Daniel Danielski
- Eva Hoogland
- Jean Christoph Jung
- Alexej Rotar
- Simon Knäuer
Venues
- CoRR
- LICS
- ACM Trans. Comput. Log.
- J. Symb. Log.
- Description Logics
- CSL
- Stud Logica
- J. Log. Lang. Inf.
- MFCS
- ICALP (2)
- Theor. Comput. Sci.
- LPAR
- ICALP
- IJCAI
- PODS
- STACS
- IEEE Trans. Knowl. Data Eng.
- DBPL
- FoSSaCS
- J. Log. Comput.
- FCT
- Inf. Process. Lett.
- CONCUR
- J. Comput. Syst. Sci.
- AAAI
- Math. Log. Q.
- Log. Methods Comput. Sci.
- GandALF
- DLT
- RP
- ICLA
- WoLLIC
- CILC
- Int. J. Comput. Sci. Appl.
- Theory Comput. Syst.
- J. ACM
- Reports Math. Log.
- AGI
- KR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend