Return to search

単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け

No description available.
Identiferoai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/11111
Date January 2007
CreatorsKUSAKARI, Keiichirou, 楼井, 敬大, SAKURAI, Takahiro, 草刈, 圭一朗, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki
Publisher電子情報通信学会
Source SetsNagoya University
LanguageJapanese
Detected LanguageJapanese
TypeArticle(publisher)
RightsCopyright 2007 IEICE

Page generated in 0.0026 seconds