Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
Shortcut Deforestation in Calculational Form(Theory of Rewriting Systems and Its Applications) Takano, Akihiko; Meijer, Erik (1995-08) 数理解析研究所講究録, 918: 253-267
Parallelization of Concurrent Processes in Higher Dimensional Automata(Theory of Rewriting Systems and Its Applications) Takayama, Yukihide (1995-08) 数理解析研究所講究録, 918: 238-252
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
Transforming Termination by Self-Labelling(Theory of Rewriting Systems and Its Applications) Ferreira, Maria C.F.; Middeldorp. Aart; Ohsaki, Hitoshi; Zantema, Hans (1995-08) 数理解析研究所講究録, 918: 85-98
Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications) Takura, Akira; Sera, Takafumi; Ohta, Tadashi (1995-08) 数理解析研究所講究録, 918: 72-84
NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications) Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito (1995-08) 数理解析研究所講究録, 918: 109-117
Trees and Terms in Relational Graph Rewriting System(Theory of Rewriting Systems and Its Applications) MIZOGUCHI, Yoshihiro; KAWAHARA, Yasuo (1995-08) 数理解析研究所講究録, 918: 58-64
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides(Theory of Rewriting Systems and Its Applications) Suzuki, Taro; Middeldorp, Aart; Ida, Tetsuo (1995-08) 数理解析研究所講究録, 918: 1-15