PDMI TUM State University St. Petersburg
Steklov Institute St. Petersburg Technische Universität München State University St. Petersburg

Joint Advanced Student School (JASS)

Course 1: Proofs and Computers

St. Petersburg - Sunday, April 2 through Wednesday, April 12, 2006

Anton Bankevich

Hierarchy Theorems

Abstract

In the paper the hierarchy theorems for certain classes of languages are proved. Several cases where hierarchy does not occur are discussed.

Anton Bankevich Presentation:
Hierarchy Theorems [PDF]
Paper:
Hierarchy Theorems [PDF]