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