Characterization of properties and relations defined in monadic second order logic on the nodes of trees

Roderick Paul Bloem, J. Engelfriet

Research output: Book/ReportCommissioned reportResearch

Original languageEnglish
PublisherSpringer
Publication statusPublished - 1997

Publication series

NameTechnical Report
PublisherSpringer

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this