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