- 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.019 seconds)| 1 |
導出木からのループ検出による論理プログラムの非停止性証明法KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiko, NISHIDA, Naoki, MIZUTANI, Tomohiro, 草刈, 圭一朗, 坂部, 俊樹, 酒井, 正彦, 西田, 直樹, 水谷, 知博 10 1900 (has links)
No description available.
|
| 2 |
右線形右シャローな項書換え系における文脈依存停止性の決定可能性についてNISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiro, MISHUKU, Yoshimasa, 西田, 直樹, 草刈, 圭一朗, 坂部, 俊樹, 酒井, 正彦, 御宿, 義勝 12 1900 (has links)
No description available.
|
| 3 |
単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付けKUSAKARI, Keiichirou, 楼井, 敬大, SAKURAI, Takahiro, 草刈, 圭一朗, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki January 2007 (has links)
No description available.
|
| 4 |
変換と部分評価に基づく非左辺正規なメタ項の停止性証明蛸島, 洋明, TAKOJIMA, Hiroaki, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki, 草刈, 圭一朗, KUSAKARI, Keiichirou 04 1900 (has links)
No description available.
|
| 5 |
高階書換え系における引数切り落とし法と実効規則NISHIDA, Naoki, SAKAI, Masahiro, SAKABE, Toshiki, KUSAKARI, Keiichirou, SUZUKI, Sho, 西田, 直樹, 酒井, 正彦, 坂部, 俊樹, 草刈, 圭一朗, 鈴木, 翔 12 1900 (has links)
No description available.
|
| 6 |
二階の書換え系における引数切り落とし法NISHIDA, Naoki, SAKABE, Toshiki, SAKAI, Masahiko, KUSAKARI, Keiichirou, ISOGAI, Yasuo, 西田, 直樹, 坂部, 俊樹, 酒井, 正彦, 草刈, 圭一朗, 磯谷, 泰巨 06 1900 (has links)
No description available.
|
Page generated in 0.0237 seconds