書誌情報	ファイル
表紙・目次    (1982-04)   数理解析研究所講究録, 454
距離有界定理,有限表現定理とスターハイト (1) (数理情報科学の研究)   橋口, 攻三郎 (1982-04)   数理解析研究所講究録, 454: 2-22
A New Automaton Model Suitable for Maximal Common Substring Computation and Its Application to Data Compression (Mathematical Studies of Information Processing)   NAKATSU, NARAO; KANBAYASHI, YAHIKO; YAJIMA, SHUZO (1982-04)   数理解析研究所講究録, 454: 23-44
無限列の圧縮可能性 (数理情報科学の研究)   小林, 孝次郎 (1982-04)   数理解析研究所講究録, 454: 45-60
Monadic Recursion Schemes with Two Exits (Mathematical Studies of Information Processing)   KANAYAMA, YUTAKA (1982-04)   数理解析研究所講究録, 454: 61-93
Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing)   NAKAMURA, AKIRA; ONO, HIROAKIRA (1982-04)   数理解析研究所講究録, 454: 94-109
Control Flow Aspects of an Algebraic Approach to Compiler Generation (Mathematical Studies of Information Processing)   CHRISTIANSEN, HENNING; JONES, NEIL D. (1982-04)   数理解析研究所講究録, 454: 110-137
Verification Conditions for Procedure Calls (Mathematical Studies of Information Processing)   ARAKI, KEIJIRO; USHIJIMA, KAZUO (1982-04)   数理解析研究所講究録, 454: 138-159
Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)   SATO, MASAHIKO (1982-04)   数理解析研究所講究録, 454: 160-171
A Look at Algebraic Specifications (Mathematical Studies of Information Processing)   ZILLS, STEPHEN N. (1982-04)   数理解析研究所講究録, 454: 172-194
Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)   疋田, 輝雄; 石畑, 清 (1982-04)   数理解析研究所講究録, 454: 195-210
A Predicate Transformer for Weak Fair Iteration (Mathematical Studies of Information Processing)   PARK, DAVID (1982-04)   数理解析研究所講究録, 454: 211-228
Lectures on a Mathematical Theory of Computation (Mathematical Studies of Information Processing)   SCOTT, DANA S. (1982-04)   数理解析研究所講究録, 454: 229-377
整礎集合上の述語の微分について (数理情報科学の研究)   西澤, 輝泰 (1982-04)   数理解析研究所講究録, 454: 378-395
The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic (Mathematical Studies of Information Processing)   YAMASAKI, SUSUMU; DOSHITA, SHUJI (1982-04)   数理解析研究所講究録, 454: 396-403
A Logical Basis for Programming Methodology (II) (Mathematical Studies of Information Processing)   TAKASU, SATORU (1982-04)   数理解析研究所講究録, 454: 404-426