書誌情報 | ファイル |
表紙・目次 (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
|  |