Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Bárány, Vince; Kaiser, Lukasz; Rabinovich, Alexander

Amsterdam [u.a.] / IOS Press (2010) [Buchbeitrag, Fachzeitschriftenartikel]

Fundamenta informaticae
Band: 100
Ausgabe: 1/4
Seite(n): 1-17

Identifikationsnummern