Monadic second order logic and node relations on graphs and trees

Roderick Paul Bloem, J. Engelfriet

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original languageEnglish
Title of host publicationLecture notes in computer science 1261
PublisherSpringer
Pages144-161
Edition1
Publication statusPublished - 1997

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this