スポンサーリンク
Research Institute for Mathematical Sciences Kyoto University | 論文
- Propositional Dynamic Logic for Concurrent Programs
- Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs
- An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis
- Semantical Analysis of Constructive PDL
- A Study of Some Tense Logics by Gentzen's Sequential Method
- A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
- The $q$-twisted Cohomology and the $q$-hypergeometric Function at $|q|=1$
- Microlocal analysis of massless singularities(Complex Analysis and Differential Equations)
- Indefinite-Metric Quantum Field Theory of General Relativity. III : Poincare Generators
- Solitons and Infinite-Dimensional Lie Algebras
- Painleve Property of Monodromy Preserving Deformation Equations and the Analyticity of $\tau$ Functions
- Cancellation of the Singularities of the Backward Unequal-Mass Regge-Pole Terms
- Dual Amplitudes with Two Off-Shell Lines
- Vertex Functions at Large Momentum Transfer. I : Exponential Decrease of the Wu-Yang Type
- Vertex Functions at Large Momentum Transfer. III : Models for the Wu-Yang-Type Form Factor
- Representation of the Wightman Function in Terms of Two-Point Singular Functions
- A Categorical Construction of Root Systems Type ADE Case (Recent Topics on Real and Complex Singularities RIMS研究集会報告集)
- Half of the Toulouse Project Part 5 is Completed : Structure Theorem for Instanton-Type Solutions of $(P_J)_m$ (J = I,II or IV) near a Simple $P$-Turning Point of the First Kind (Algebraic Analysis and the Exact WKB Analysis for Systems of Differential Eq
- Segal-Becker theorem for KR-theory
- WKB analysis and deformation of Schrodinger equations