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