Deciding monadic theories of hyperalgebraic trees

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiDeciding monadic theories of hyperalgebraic trees
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
Zeszyt2044
Rok wydania2001
Od strony253
Do strony267
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2001

Lista autorów
  
 1. Damian Niwiński, Zakład Logiki Stosowanej [Współautor]
 2. Paweł Urzyczyn, Zakład Logiki Stosowanej [Współautor]
 3. T. Knapik, Jednostka zewnetrzna [Współautor]