コレクションホームページ
0918 書き換えシステムの理論とその応用
25
0918 書き換えシステムの理論とその応用
25
(http://hdl.handle.net/2433/59348)
ブラウズ
文献一覧（目次の昇順ソート）: 21 - 25 / 25
| 書誌情報 | ファイル |
|---|---|
| Parallelization of Concurrent Processes in Higher Dimensional Automata(Theory of Rewriting Systems and Its Applications) Takayama, Yukihide (1995-08) 数理解析研究所講究録, 918: 238-252 |  |
| Shortcut Deforestation in Calculational Form(Theory of Rewriting Systems and Its Applications) Takano, Akihiko; Meijer, Erik (1995-08) 数理解析研究所講究録, 918: 253-267 | |
| Eliminating Selectors from Term Rewriting Systems(Theory of Rewriting Systems and Its Applications) Yutaka, Kikuchi (1995-08) 数理解析研究所講究録, 918: 268-276 | |
| Grobner Bases for Set Constraints(Theory of Rewriting Systems and Its Applications) Sato, Yosuke (1995-08) 数理解析研究所講究録, 918: 277-291 | |
| Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications) Ishikawa, Hiroshi; Futatsugi, Kokichi; Watanabe, Takuo (1995-08) 数理解析研究所講究録, 918: 292-298 | |
文献一覧（目次の昇順ソート）: 21 - 25 / 25
