Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Bárány, Vince (Author); Kaiser, Lukasz (Author); Rabinovich, Alexander (Author)

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

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

Identifikationsnummern