Kyoto University Research Information Repository: 400_Research Institute for Mathematical Sciences

Community home page

Browse

Sub-communities within this community

Collections in this community

Recent Submissions

Eigenvalue fluctuations for lattice Anderson Hamiltonians: Unbounded potentials
項内に束縛関係を持つ一階述語論理の構成 (証明論と証明活動)
シークエントと証明活動 (証明論と証明活動)
Distributive Concrete Domains and Sheaves on DI-Domains (Proof theory and proving)
Gentzen's unpublished normalization theorem and its successors (Proof theory and proving)