書誌情報	ファイル
表紙・目次    (1999-07)   数理解析研究所講究録, 1106
Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)   Aoto, Takahito; Nagaya, Takashi (1999-07)   数理解析研究所講究録, 1106: 1-12
A Proof of the Krohn-Rhodes Decomposition Theorem (Languages, Algebra and Computer Systems)   Esik, Z. (1999-07)   数理解析研究所講究録, 1106: 13-24
オイラー小道上の同一点間の間隔について (言語,代数系および計算機システム)   神保, 秀司; 乾, 勇治; 橋口, 攻三郎 (1999-07)   数理解析研究所講究録, 1106: 25-36
Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value (Languages, Algebra and Computer Systems)   Fujita, Ken-etsu (1999-07)   数理解析研究所講究録, 1106: 37-49
線形符号の復号法について (言語,代数系および計算機システム)   池上, 大介 (1999-07)   数理解析研究所講究録, 1106: 50-60
Note on Transitive Representations of Generalized Inverse *-Semigroups (Languages, Algebra and Computer Systems)   Inata, Isamu; Imaoka, Teruo (1999-07)   数理解析研究所講究録, 1106: 61-65
ハッシュ関数の構成法に関する一考察 (言語,代数系および計算機システム)   井上, 徹 (1999-07)   数理解析研究所講究録, 1106: 66-80
Nondeterministic directable automata and related languages (Languages, Algebra and Computer Systems)   Imreh, Balazs; Ito, Masami (1999-07)   数理解析研究所講究録, 1106: 81-87
On an Extension of Green's Relation and a Structure of Semigroup (Languages, Algebra and Computer Systems)   Kobayashi, Yukio (1999-07)   数理解析研究所講究録, 1106: 88-93
Note on the semantics of logic programming (Languages, Algebra and Computer Systems)   近藤, 通朗 (1999-07)   数理解析研究所講究録, 1106: 94-101
On the Extension Theorem for Linear Codes (Languages, Algebra and Computer Systems)   Maruta, Tatsuya (1999-07)   数理解析研究所講究録, 1106: 102-105
Some results on commutative semigroups and semigroup rings (Languages, Algebra and Computer Systems)   Matsuda, Ryuki (1999-07)   数理解析研究所講究録, 1106: 106-115
Logic of awareness and belief with its application to economic behavior (Languages, Algebra and Computer Systems)   Matsuhisa, Takashi; Usami, Shun-Suke (1999-07)   数理解析研究所講究録, 1106: 116-129
Computing Ability of Reversible and Conservative Cellular Automata (Languages, Algebra and Computer Systems)   Morita, Kenichi; Imai, Katsunobu (1999-07)   数理解析研究所講究録, 1106: 130-141
Closure property of Some Codes under Composition (Languages, Algebra and Computer Systems)   Moriya, Tetsuo (1999-07)   数理解析研究所講究録, 1106: 142-148
Strategies for Rewrite Systems : Normalization and Optimality (Languages, Algebra and Computer Systems)   Middeldorp, Aart (1999-07)   数理解析研究所講究録, 1106: 149-160
Lazy Narrowing Calculi : Strong Completeness, Eager Variable Elimination, Nondeterminism, Optimality (Languages, Algebra and Computer Systems)   Middeldorp, Aart; Okui, Satoshi (1999-07)   数理解析研究所講究録, 1106: 161-173
PDL robots represented in VRML environment (Languages, Algebra and Computer Systems)   Nagylaki, Zoltan; Horvath, Geza (1999-07)   数理解析研究所講究録, 1106: 174-185
Algebraic Studies of Information in Cellular Automata (Languages, Algebra and Computer Systems)   Nishio, Hidenosuke (1999-07)   数理解析研究所講究録, 1106: 186-195