Search this site
Embedded Files
Skip to main content
Skip to navigation
Eitetsu KEN's Homepage
Home
Spring School of Combinatorics 2023 @Jáchymov
Some of helpful literatures
Logic Colloquium 2023
Computational Logic Seminar @TU Wien
Logic Seminar 2023 @ the University of Passau
Prague Logic Seminar 2023
Logic Colloquium 2024 @ Gothenburg
COMAゼミ 2024@The University of Tokyo
Proof Society 2024 @Birmingham
Eitetsu KEN's Homepage
Home
Spring School of Combinatorics 2023 @Jáchymov
Some of helpful literatures
Logic Colloquium 2023
Computational Logic Seminar @TU Wien
Logic Seminar 2023 @ the University of Passau
Prague Logic Seminar 2023
Logic Colloquium 2024 @ Gothenburg
COMAゼミ 2024@The University of Tokyo
Proof Society 2024 @Birmingham
More
Home
Spring School of Combinatorics 2023 @Jáchymov
Some of helpful literatures
Logic Colloquium 2023
Computational Logic Seminar @TU Wien
Logic Seminar 2023 @ the University of Passau
Prague Logic Seminar 2023
Logic Colloquium 2024 @ Gothenburg
COMAゼミ 2024@The University of Tokyo
Proof Society 2024 @Birmingham
Logic Seminar 2023 @ the University of Passau
Passau_presentation_2023_10_31_with_note.pdf
↑The slides.
Passau_presentation_2023_10_31.pdf
↑
The slides with notes.
And here is a complement of my talk:
Complement_Passau.pdf
Report abuse
Page details
Page updated
Report abuse