Volume 16, No. 2 (1980)
Publications of the Research Institute for Mathematical Sciences

pp. 313–341 A Difference Scheme for Solving Two Phase Stefan Problem of Heat EquationTatsuo Nogi
pp. 343–353 A Study of Some Tense Logics by Gentzen's Sequential MethodHirokazu Nishimura
pp. 355–376 On a Limit Theorem for Branching One-Dimensional Diffusion ProcessesSeiji KageyamaYukio Ogura
pp. 377–392 Elastic-Plastic Vibration of a RodTetsuhiko Miyoshi
pp. 393–415 Théorèmes d'Existence et d'Approximation pour les Equations aux Dérivées Partielles Linéaires d'Ordre InfiniRyuichi Ishimura
pp. 417–459 Interval Logics with Applications to Study of Tense and Aspect in EnglishHirokazu Nishimura
pp. 461–497 Sur les Singularités Essentielles et Isolées des Applications Holomorphes à Valeurs dans une Surface ComplexeToshio NishinoMasakazu Suzuki
pp. 499–511 On the Uniqueness of Dyer-Lashof Operations on the Bott Periodicity SpacesMasatsugu Nagata
pp. 513–529 On the Convergence of the Initial-Value Adjusting Method for Nonlinear Boundary Value ProblemsTaketomo Mitsui
pp. 531–584 Holonomic Quantum Fields, VMikio SatoTetsuji MiwaMichio Jimbo
pp. 585–600 A Product Formula and Its Application to the Schrödinger EquationTakashi Ichinose
pp. 601–626 On the Homotopy Types of the Groups of Equivariant DiffeomorphismsKôjun Abe