Mu-calculus via games

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł konferencyjny
Tytuł publikacji	Mu-calculus via games
Adres internetowy
Tytuł czasopisma	LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom	2471
Zeszyt
Rok wydania	2002
Od strony	27
Do strony	43
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2002