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