| 書誌情報 | ファイル |
|---|
On a chain-like connectivity of three-dimensional digital pictures(Algorithms : Mathematical Foundations and Applications)
Nakamura, Akira; Aizawa, Kunio (1986-05)
数理解析研究所講究録, 591: 194-204
|  |
Map OL systems with markers(Algorithms : Mathematical Foundations and Applications)
Nakamura, Akira; Lindenmayer, Aristid; Aizawa, Kunio (1986-05)
数理解析研究所講究録, 591: 205-215
| |
The Greatest Fixed-Points and Rational Omega-Tree Languages : Extended abstract(Algorithms : Mathematical Foundations and Applications)
Takahashi, Masako (1986-05)
数理解析研究所講究録, 591: 216-220
| |
Modified One-way Alternating Pushdown Automata and Indexed Languages(Algorithms : Mathematical Foundations and Applications)
IKEKAWA, MASAO (1986-05)
数理解析研究所講究録, 591: 221-227
| |
Low-Level Tradeoffs between Cross And Alternation(Algorithms : Mathematical Foundations and Applications)
Iwama, Kazuo (1986-05)
数理解析研究所講究録, 591: 228-236
| |
並列構文解析法とその評価(アルゴリズムの数学的基礎理論とその応用)
松本, 裕治 (1986-05)
数理解析研究所講究録, 591: 237-246
| |
属性文法の循環性検査の高速化について(アルゴリズムの数学的基礎理論とその応用)
小池, 博; 五十嵐, 善英 (1986-05)
数理解析研究所講究録, 591: 247-256
| |
有限生成半群と正則言語のpumping条件(アルゴリズムの数学的基礎理論とその応用)
橋口, 攻三郎 (1986-05)
数理解析研究所講究録, 591: 257-267
| |
正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)
平石, 裕実; 矢島, 脩三 (1986-05)
数理解析研究所講究録, 591: 268-277
| |
テンポラル・ロジックで用いられている連接について(アルゴリズムの数学的基礎理論とその応用)
木村, 晋二; 矢島, 脩三 (1986-05)
数理解析研究所講究録, 591: 278-287
| |
