Monadic Second-Order Logic and Transitive Closure Logics over Trees

Hans Jörg Tiede, Stephan Kepser

Research output: Journal ArticleArticlepeer-review

Original languageEnglish
Pages (from-to)189-199
Number of pages11
JournalElectronic Notes in Theoretical Computer Science
Issue numberSPEC. ISS.
StatePublished - Nov 22 2006

ASJC Scopus Subject Areas

  • Theoretical Computer Science
  • General Computer Science


  • Monadic second order logic
  • derivation tree
  • descriptive complexity
  • model theoretic syntax
  • natural language
  • transitive closure logic

Cite this