Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 15.

前
1
2
次

検索結果:

書誌情報	ファイル
Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究) 疋田, 輝雄; 石畑, 清 (1982-04) 数理解析研究所講究録, 454: 195-210
A Look at Algebraic Specifications (Mathematical Studies of Information Processing) ZILLS, STEPHEN N. (1982-04) 数理解析研究所講究録, 454: 172-194
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
Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing) NAKAMURA, AKIRA; ONO, HIROAKIRA (1982-04) 数理解析研究所講究録, 454: 94-109
Verification Conditions for Procedure Calls (Mathematical Studies of Information Processing) ARAKI, KEIJIRO; USHIJIMA, KAZUO (1982-04) 数理解析研究所講究録, 454: 138-159
無限列の圧縮可能性 (数理情報科学の研究) 小林, 孝次郎 (1982-04) 数理解析研究所講究録, 454: 45-60
Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing) SATO, MASAHIKO (1982-04) 数理解析研究所講究録, 454: 160-171
Monadic Recursion Schemes with Two Exits (Mathematical Studies of Information Processing) KANAYAMA, YUTAKA (1982-04) 数理解析研究所講究録, 454: 61-93
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
A Predicate Transformer for Weak Fair Iteration (Mathematical Studies of Information Processing) PARK, DAVID (1982-04) 数理解析研究所講究録, 454: 211-228