MONADIC SECOND ORDER LOGIC
Experts
- Bruno Courcelle
- Joost Engelfriet
- Sebastian Maneth
- Manfred Droste
- Martin Grohe
- Wim Martens
- Stephan Kreutzer
- Mikolaj Bojanczyk
- Nicole Schweikardt
- Leonid Libkin
- Michael Zakharyaschev
- Zoltán Fülöp
- Joachim Niehren
- Stanislav Kikot
- Andreas Maletti
- Michal Skrzypczak
- Frank Neven
- Heiko Vogler
- Petr Hlinený
- Radu Iosif
- Dietrich Kuske
- Marc Gyssens
- Nils Klarlund
- Yde Venema
- Yannick Forster
- Igor Walukiewicz
- Michael Benedikt
- Olga Gerasimova
- Jan Van den Bussche
- Michael Elberfeld
- Sophie Tison
- Hendrik Jan Hoogeboom
- Jerzy Tyszkiewicz
- Pierre Bourhis
- Wolfgang Thomas
- Achim Blumensath
- Pawel Parys
- Cristian Riveros
- Dirk Van Gucht
Venues
- CoRR
- Theor. Comput. Sci.
- LICS
- CSL
- MFCS
- STACS
- Inf. Process. Lett.
- Inf. Comput.
- Fundam. Informaticae
- Ann. Pure Appl. Log.
- J. Symb. Log.
- ICALP
- Log. Methods Comput. Sci.
- ACM Trans. Comput. Log.
- WoLLIC
- J. Comput. Syst. Sci.
- Advances in Modal Logic
- CSR
- FSTTCS
- LATA
- ICDT
- CIAA
- Electron. Notes Theor. Comput. Sci.
- Theory Comput. Syst.
- CONCUR
- PODS
- J. Log. Comput.
- MFCS (1)
- Description Logics
- RTA
- Developments in Language Theory
- Discret. Appl. Math.
- TASE
- FoSSaCS
- IFIP TCS
- J. Log. Lang. Inf.
- ICALP (2)
- PPDP
- IJCAI
Related Topics
Related Keywords
Popularity