Search this site

Embedded Files

Eitetsu KEN's Homepage

Home
- Some of helpful literatures
- Talks

Eitetsu KEN's Homepage

Home
- Some of helpful literatures
- Talks
More
- Home
  - Some of helpful literatures
  - Talks
    Proof Society 2024@Birmingham
    Logic Colloquium 2024 @Gothenburg
    Prague Logic Seminar 2023 @ Institute of Mathematics
    Logic Seminar 2023 @The University of Passau
    Computational Logic Seminar 2023 @TU Wien
    Logic Colloquium 2023 @Milan
    Spring School of Combinatorics 2023 @Jáchymov
    COMAゼミ2024@ The University of Tokyo
    FoPM Symposium 2025
    Logic and Computation Seminar 2025 @Pennsylvania
    Prague Logic Seminar 2025 @ Institute of Mathematics

Proof Society 2024@Birmingham

The abstract:

Proof_Society_2024_KEN_revisedsubmitted.pdf

The slides:

ProofSociety_2024_9_12_slides.pdf

Google Sites

Report abuse

Page details

Page updated

Google Sites

Report abuse