- The hierarchy inside closed monadic S1 collapses on the infinite binary tree
Opis
- Tytuł: The hierarchy inside closed monadic S1 collapses on the infinite binary tree
- Tytuł pracy zbiorowej: Proceedings : 16th annual IEEE Symposium on Logic in Computer Science 16-19 June 2001, Boston, Massachusetts
- Twórca: Marcinkowski, Jerzy ; Arnold, Andre ; Lenzi, Giacomo
- Strony: S. 157-167
- Data wydania: 2001
- Typ: Tekst
- Język publikacji: eng
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział