GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Frank Wolter
- Martin Otto
- Wieslaw Szwast
- Manfred Kufleitner
- Georg Gottlob
- Vince Bárány
- Jan Van den Bussche
- Andreas Pieris
- Sebastian Rudolph
- Jerzy Marcinkowski
- Tomasz Gogacz
- Volker Diekert
- Ian Pratt-Hartmann
- Balder ten Cate
- Maarten Marx
- Fabio Papacchini
- Jerzy Tyszkiewicz
- André Hernich
- Reijo Jaakkola
- Pablo Barceló
- Gerald Berger
- Jan Paredaens
- Miroslav Chodil
- Juha Kontinen
- Eva Hoogland
- Mark Allen Weiss
- Alexej Rotar
- Alon Y. Levy
- Max Sandström
- Alain Finkel
- Antti Kuusisto
- Gabriele Puppis
- Mikolaj Bojanczyk
- Yehoshua Sagiv
- Daniel Danielski
- Anca Muscholl
Venues
- CoRR
- LICS
- Description Logics
- J. Symb. Log.
- CSL
- ACM Trans. Comput. Log.
- MFCS
- ICALP (2)
- Stud Logica
- LPAR
- J. Log. Lang. Inf.
- Theor. Comput. Sci.
- ICALP
- IJCAI
- PODS
- STACS
- Log. Methods Comput. Sci.
- FCT
- Math. Log. Q.
- DBPL
- J. Log. Comput.
- IEEE Trans. Knowl. Data Eng.
- GandALF
- DLT
- J. Comput. Syst. Sci.
- Inf. Process. Lett.
- CONCUR
- FoSSaCS
- AAAI
- ATVA
- CAV (2)
- TAPSOFT
- EDBT
- FoSSaCS (2)
- KR
- CiE
- Bull. EATCS
- Correct Reasoning
- AMW
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend