Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
Adres internetowy
Tytuł czasopisma	FUNDAMENTA INFORMATICAE
Medium
Tom	100
Zeszyt	1-4
Rok wydania	2010
Od strony	1
Do strony	17
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2010