CiNii 図書 - Mathematical studies of information processing

著者

Mathematical studies of information processing

（数理解析研究所講究録, 454）

京都大学数理解析研究所, 1982.3

「数理情報科学の研究」研究集会報告集(1981年5月28日-5月30日) 研究代表者:高須達

Preface / 高須達
距離有界定理,有限表現定理とスターハイト1 / 橋口攻三郎
A new automaton model suitable for maximal common substring computation and its application to data compression / 中津楢男, 上林弥彦, 矢島脩三
無限列の圧縮可能性 / 小林孝次郎
Monadic recursion schemes with two exits / 金山裕
Pictures of functions and their acceptability by automata / 中村昭, 小野寛晰
Control flow aspects of an algebraic approach to compiler generation / Neil D. Jones
Verification conditions for procedure calls / 荒木啓二郎, 牛島和夫
Algebraic structure of symbolic expressions / 佐藤雅彦
A look at algebraic specifications / Stephen N. Zills
Variable sharingとmessage sendingとの間のプログラム変換 / 疋田輝雄, 石畑清
A predicate transformer for weak fair iteration / David Park
Lectures on a mathematical theory of computation / Dana S. Scott
整礎集合上の述語の微分について / 西澤輝泰
The satisfiability problems for some classes of extended Horn sets in the propositional logic / 山崎進, 堂下修司
A logical basis for programming methodology II / 高須達