Monadic second order logic and node relations on graphs and trees

Roderick Paul Bloem, J. Engelfriet

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/Bericht

Originalspracheenglisch
TitelLecture notes in computer science 1261
Herausgeber (Verlag)Springer
Seiten144-161
Auflage1
PublikationsstatusVeröffentlicht - 1997

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren