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