Return to search

右線形右シャローな項書換え系における文脈依存停止性の決定可能性について

No description available.

1. http://hdl.handle.net/2237/21106
2. http://ci.nii.ac.jp/naid/110008001254
3. 0913-5685
4. 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス. v.109, n.343, 2009, p.31-36

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/21106
Date	12 1900
Creators	NISHIDA, Naoki, KUSAKARI, Keiichirou, SAKABE, Toshiki, SAKAI, Masahiro, MISHUKU, Yoshimasa, 西田, 直樹, 草刈, 圭一朗, 坂部, 俊樹, 酒井, 正彦, 御宿, 義勝
Publisher	一般社団法人電子情報通信学会
Source Sets	Nagoya University
Language	Japanese
Detected Language	Japanese
Type	Article(publisher)
Rights	(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである