Collection home page

Mathematical Studies of Information Processing   16
(http://hdl.handle.net/2433/101506)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 16 of 16
BibliographyContents
表紙・目次
   (1982-04)
  数理解析研究所講究録, 454
file type icon
距離有界定理,有限表現定理とスターハイト (1) (数理情報科学の研究)
  橋口, 攻三郎 (1982-04)
  数理解析研究所講究録, 454: 2-22
file type icon
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
file type icon
無限列の圧縮可能性 (数理情報科学の研究)
  小林, 孝次郎 (1982-04)
  数理解析研究所講究録, 454: 45-60
file type icon
Monadic Recursion Schemes with Two Exits (Mathematical Studies of Information Processing)
  KANAYAMA, YUTAKA (1982-04)
  数理解析研究所講究録, 454: 61-93
file type icon
Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing)
  NAKAMURA, AKIRA, ONO, HIROAKIRA (1982-04)
  数理解析研究所講究録, 454: 94-109
file type icon
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
file type icon
Verification Conditions for Procedure Calls (Mathematical Studies of Information Processing)
  ARAKI, KEIJIRO, USHIJIMA, KAZUO (1982-04)
  数理解析研究所講究録, 454: 138-159
file type icon
Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
  SATO, MASAHIKO (1982-04)
  数理解析研究所講究録, 454: 160-171
file type icon
A Look at Algebraic Specifications (Mathematical Studies of Information Processing)
  ZILLS, STEPHEN N. (1982-04)
  数理解析研究所講究録, 454: 172-194
file type icon
Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)
  疋田, 輝雄, 石畑, 清 (1982-04)
  数理解析研究所講究録, 454: 195-210
file type icon
A Predicate Transformer for Weak Fair Iteration (Mathematical Studies of Information Processing)
  PARK, DAVID (1982-04)
  数理解析研究所講究録, 454: 211-228
file type icon
Lectures on a Mathematical Theory of Computation (Mathematical Studies of Information Processing)
  SCOTT, DANA S. (1982-04)
  数理解析研究所講究録, 454: 229-377
file type icon
整礎集合上の述語の微分について (数理情報科学の研究)
  西澤, 輝泰 (1982-04)
  数理解析研究所講究録, 454: 378-395
file type icon
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
file type icon
A Logical Basis for Programming Methodology (II) (Mathematical Studies of Information Processing)
  TAKASU, SATORU (1982-04)
  数理解析研究所講究録, 454: 404-426
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 16 of 16