- The hierarchy inside closed monadic S1 collapses on the infinite binary tree
Description
- Title: The hierarchy inside closed monadic S1 collapses on the infinite binary tree
- Collective work title: Proceedings : 16th annual IEEE Symposium on Logic in Computer Science 16-19 June 2001, Boston, Massachusetts
- Creator: Marcinkowski, Jerzy ; Arnold, Andre ; Lenzi, Giacomo
- Pages: S. 157-167
- Date issued: 2001
- Type: Tekst
- Language: eng
- Detailed object type: rozdz
- Object type: Rozdział