- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 6 of 6 (0.014 seconds)| 1 |
プログラム生成系GeneSysにおける等式仕様への否定の導入NISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiko, KONDO, Satoru, 西田, 直樹, 草刈, 圭一郎, 坂部, 俊樹, 酒井, 正彦, 近藤, 悟 12 1900 (has links)
No description available.
|
| 2 |
条件付き等式の変換に基づくプログラム生成KUSAKARI Keiichirou, NISHIDA, Naoki, SAKABE, Toshiki, SAKAI, Masahiro, NAGASHIMA, Masanori, 草刈, 圭一朗, 西田, 直樹, 坂部, 俊樹, 酒井, 正彦, 長島, 正憲 12 1900 (has links)
No description available.
|
| 3 |
弱最内戦略を完全にする項書換え系の等価交換岡本, 晃治, OKAMOTO, Koji, 酒井, 正彦, SAKAI, Masahiko, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou, 坂部, 俊樹, SAKABE, Toshiki 04 1900 (has links)
No description available.
|
| 4 |
振舞等価性の証明のための等式付き書換えに基づく潜在帰納法KUSAKARI, Keiichiro, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, SASADA, Yuji, 草刈, 圭一朗, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 笹田, 悠司 07 1900 (has links)
No description available.
|
| 5 |
等式を規則化する変換の停止条件KUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki, NISHIDA, Naoki, MIZUNO, Kiyotaka, 草刈, 圭一朗, 酒井, 正彦, 坂部, 俊樹, 西田, 直樹, 水野, 清貴 02 1900 (has links)
No description available.
|
| 6 |
単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付けKUSAKARI, Keiichirou, 楼井, 敬大, SAKURAI, Takahiro, 草刈, 圭一朗, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki January 2007 (has links)
No description available.
|
Page generated in 0.0198 seconds