Descriptive set theory.

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / …で: (コンピュータ・メディア)

Topics in orbit equivalence[electronic resource] / …で: (コンピュータ・メディア)

Mathematical Logic and Formal Languages.

Software Engineering.

Machine theory.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Descriptive set theory.

Computer Science.

Discrete Mathematics in Computer Science.

Equivalence relations (Set theory)

Descriptive set theory.

Topological transformation groups.

Ergodic theory.