Return to search

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

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

Page generated in 0.0017 seconds