actinide nuclei 1elastic scattering 1Gogny energy density functional 1hexadecapole correlations 1high-spin spectroscopy 1interacting boson model 1island of inversion 1nuclear structure 1particle-hole configurations 1reaction cross sections 1
From the 2 of 82 papers with an AI index.
9 citations
- Satoru Hayami5 profiles10 · h 3
- K. Nomura3 profiles7 · h 4
- Hideyuki Miyahara3 · h 6
- Katsuhiko Sano2 profiles3 · h 10
- Osamu Seto2 profiles3 · h 4
- Y. Toda2 profiles3 · h 8
- Ansei Yonezawa2 · h 10
- Atsushi Kubokawa2 · h 16
- Heisei Yonezawa2 · h 12
- Hiroki Sakaji2 profiles2 · h 1
- H. Shimazaki2 · h 3
- Itsuro Kajiwara2 · h 6
- The University of TokyoJP12 papers
- Hiroshima UniversityJP5 papers
- Kyoto UniversityJP5 papers
- Kyushu UniversityJP5 papers
- Hokkaido Information UniversityJP4 papers
- National Institute for Materials ScienceJP4 papers
- Osaka Metropolitan UniversityJP4 papers
- Hokkaido University of ScienceJP3 papers
- Institut Laue-LangevinFR3 papers
- Nagoya UniversityJP3 papers
- California Institute of TechnologyUS2 papers
- Graduate School USAUS2 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points
Jun Suzuki, Charles Grellois, Katsuhiko Sano
This paper establishes the cut-elimination theorem for intuitionistic propositional multiplicative-additive linear logic with the least and greatest fixpoints (IMALL) by means…
cs.LO2026
Uniform Interpolation of Basic Tense Logic
Katsuhiko Sano
This paper establishes the uniform interpolation theorem for basic tense logic, which is also known as two-way modal logic or modal logic with converse. First introduced by Arthur…