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

Publikation: Buch/Bericht/Konferenzband › Bericht für Auftraggeber

Name	Technical Report
Herausgeber (Verlag)	Springer

Treatment code (Nähere Zuordnung)

TY - BOOK

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

AU - Bloem, Roderick Paul

AU - Engelfriet, J.

N1 - Reportnr.: TR97-03

PY - 1997

Y1 - 1997

M3 - Commissioned report

T3 - Technical Report

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

PB - Springer

ER -