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

No description available.

1. http://hdl.handle.net/2237/11111
2. 18804535
3. 電子情報通信学会論文誌. v.J90-D, n.4, 2007, p.978-989

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/11111
Date	January 2007
Creators	KUSAKARI, Keiichirou, 楼井, 敬大, SAKURAI, Takahiro, 草刈, 圭一朗, 酒井, 正彦, SAKAI, Masahiko, 坂部, 俊樹, SAKABE, Toshiki, 西田, 直樹, NISHIDA, Naoki
Publisher	電子情報通信学会
Source Sets	Nagoya University
Language	Japanese
Detected Language	Japanese
Type	Article(publisher)
Rights	Copyright 2007 IEICE