Decidable Extensions of MSO (Invited Talk)

Author Mikolaj Bojanczyk



PDF
Thumbnail PDF

File

LIPIcs.MFCS.2016.2.pdf
  • Filesize: 215 kB
  • 1 pages

Document Identifiers

Author Details

Mikolaj Bojanczyk

Cite AsGet BibTex

Mikolaj Bojanczyk. Decidable Extensions of MSO (Invited Talk). In 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 58, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.MFCS.2016.2

Abstract

This is an overview of the invited talk delivered at the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016).
Keywords
  • monadic second-order logic
  • extensions
  • decidability
  • automata

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail