Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 25.

前
1
2
3
次

検索結果:

書誌情報	ファイル
Lazy Narrowing Calculi : Strong Completeness, Eager Variable Elimination, Nondeterminism, Optimality (Languages, Algebra and Computer Systems) Middeldorp, Aart; Okui, Satoshi (1999-07) 数理解析研究所講究録, 1106: 161-173
オイラー小道上の同一点間の間隔について (言語,代数系および計算機システム) 神保, 秀司; 乾, 勇治; 橋口, 攻三郎 (1999-07) 数理解析研究所講究録, 1106: 25-36
Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems) Aoto, Takahito; Nagaya, Takashi (1999-07) 数理解析研究所講究録, 1106: 1-12
*Note on Transitive Representations of Generalized Inverse -Semigroups (Languages, Algebra and Computer Systems)** Inata, Isamu; Imaoka, Teruo (1999-07) 数理解析研究所講究録, 1106: 61-65
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
A Proof of the Krohn-Rhodes Decomposition Theorem (Languages, Algebra and Computer Systems) Esik, Z. (1999-07) 数理解析研究所講究録, 1106: 13-24
表紙・目次 (1999-07) 数理解析研究所講究録, 1106
Nondeterministic directable automata and related languages (Languages, Algebra and Computer Systems) Imreh, Balazs; Ito, Masami (1999-07) 数理解析研究所講究録, 1106: 81-87
Computing Ability of Reversible and Conservative Cellular Automata (Languages, Algebra and Computer Systems) Morita, Kenichi; Imai, Katsunobu (1999-07) 数理解析研究所講究録, 1106: 130-141