Collection home page

Languages, Algebra and Computer Systems   25
(http://hdl.handle.net/2433/63056)

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